Cronologia della pagina
9 feb 2022
15 apr 2021
18 mar 2021
6 mar 2021
2 ago 2020
8 nov 2019
Annullate le modifiche di 37.162.148.128 (discussione), riportata alla versione precedente di Merynancy
m−91
Correzione
+91
Annullata la modifica 108730340 di 37.162.148.128 (discussione)
−92
nessun oggetto della modifica
+92
23 lug 2019
→Voci correlate: Puntano entrambi alla stessa voce
−26
Ripristino alla versione 105901917 datata 2019-06-21 15:58:51 di Maybe75 tramite popup
−124
Annullate le modifiche di 185.144.120.9 (discussione), riportata alla versione precedente di 5.61.5.206
m−71
nessun oggetto della modifica
+71
29 giu 2019
26 giu 2019
23 giu 2019
22 giu 2019
21 giu 2019
nessun oggetto della modifica
−131
Annullata la modifica 105912708 di 185.144.120.9 (discussione)
−112
nessun oggetto della modifica
+112
nessun oggetto della modifica
+131
ripristino collegamenti esterni
+55
rollback vandalismi
−205
nessun oggetto della modifica
−118
20 giu 2019
19 giu 2019
nessun oggetto della modifica
+180
nessun oggetto della modifica
−17
nessun oggetto della modifica
+36
nessun oggetto della modifica
+51
1 giu 2019
26 apr 2019
14 dic 2018
5 nov 2018
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.
−20
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.
−1
7 ott 2018
17 lug 2018
12 apr 2018
27 dic 2017
Ripristino stato precedente seconda riga terza colonna tabella
Seconda riga terza colonna tabella sostituito V con F