Wikibooks

Logica matematica/Calcolo dei predicati: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Diablo (discussione | contributi)
11 473 modifiche
m ha spostato Logica/Calcolo dei Predicati a Logica/Calcolo dei predicati
Nessun oggetto della modifica
Riga 1:
== Calcolo dei predicati ==
=== I Quantificatori ===
=== Teoria della provadimostrazione ===
==== I tableaux semantici ====
==== Il metodo di risoluzione ====
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_dei_predicati"