Modus ponens: cronologia delle modifiche

Per il confronto tra due versioni della cronologia, selezionare le caselle corrispondenti e premere Invio o il pulsante Confronta versioni selezionate.

Strumenti esterni: Cerca in cronologia · Statistiche crono (aka-online.de) · Statistiche crono (wmflabs.org) · Numero di visite · Verifica link · Ripara link

Legenda: (corr) = differenze con la versione attuale; (prec) = differenze con la versione precedente; m = modifica minore.

(ultima | prima) Vedi (50 più recenti | ) (20 | 50 | 100 | 250 | 500).

2 dic 2023

22 giu 2023

24 feb 2023

9 feb 2022

15 apr 2021

18 mar 2021

6 mar 2021

2 ago 2020

8 nov 2019

23 lug 2019

29 giu 2019

26 giu 2019

23 giu 2019

22 giu 2019

21 giu 2019

20 giu 2019

19 giu 2019

1 giu 2019

26 apr 2019

14 dic 2018

5 nov 2018

  • corrprec 17:5317:53, 5 nov 2018 Ennerre discussione contributi 3 562 byte −20 Ho sostituito il secondo simbolo di implicazione logica "→"con quello di asserzione logica "⊢". Il senso del modus ponens è che dato p→q,q si possa asserire, dedurre q. Inoltre la formula precedente era inconsistente con la riga successiva in cui si spiega il significato di "⊢" senza avere impiegato tale simbolo. annulla Etichetta: Modifica visuale
  • corrprec 17:4917:49, 5 nov 2018 Ennerre discussione contributi 3 582 byte −1 Ho sostituito al secondo simbolo di implicazione logica quello di asserzione logica. Il senso del modus ponens è infatti che dato p→q, p possiamo asserire, cioè dedurre q. La formulazione precedente, oltre che errata, era inconsistente con la linea successiva in cui si spiega il senso del simbolo di asserzione logica, senza che esso fosse stato tuttavia impiegato. annulla Etichetta: Modifica visuale

7 ott 2018

17 lug 2018

12 apr 2018

27 dic 2017

16 set 2017

(ultima | prima) Vedi (50 più recenti | ) (20 | 50 | 100 | 250 | 500).