Cronologia della pagina
2 feb 2019
18 set 2018
→Lemma 3
+33
→Lemma 1
+11
→Insieme di formule completo
+11
→Insieme di formule consistente
+11
→Dimostrazione
+11
16 set 2018
correggo template e categoria
+23
Wim b ha spostato la pagina Logica Matematica/Calcolo delle proposizioni/Sistema di Hilbert a Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert senza lasciare redirect: Titolo errato, non c'è motivo per scrivere "matematica" con l'iniziale maiuscola
m
15 set 2018
nessun oggetto della modifica
+11
Germanomosconi1 ha spostato la pagina Logica/Calcolo delle proposizioni/Sistema di Hilbert a Logica Matematica/Calcolo delle proposizioni/Sistema di Hilbert
m
8 mag 2018
25 apr 2018
→Lemma 3
+120
→Dimostrazione
+67
→Lemma 3
+1
→Lemma 3
+1
→Lemma 3
+1
→Lemma 2
→Lemma 2
+2
→Lemma 2
+1
→Lemma 3
+1 334
24 apr 2018
→Lemma 3
+1 422
→Lemma 3
+900
→Teorema
−905
→Dimostrazione
+1
→Dimostrazione
+1 546
→Teorema di completezza
+1 812
23 apr 2018
→Dimostrazione
+55
→Dimostrazione
−7
→Regola di scambio delle premesse
+463
nessun oggetto della modifica
+693
→Definizione
−6 728
22 apr 2018
21 apr 2018
→Dimostrazione
+197
→Esempi di dimostrazioni
+1 297
→L' assioma di Meredith
−1
→Modus Tollens
+1
→Consistenza
+1 042
→Insieme di formule consistente
+23
→Dimostrazione
+19
→Dimostrazione
+1 072
20 apr 2018
→Dimostrazione
+4
→Dimostrazione
+11
→Teorema di completezza
+6 709
→Teorema di completezza
+19
→Teorema di completezza
+661
→Teorema di completezza
+1
→Consistenza
+22