Logica matematica/Calcolo delle proposizioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Diablo (discussione | contributi)
m ha spostato Logica/Calcolo delle Proposizioni a Logica/Calcolo delle proposizioni
Riga 7:
==== I tableaux semantici ====
==== Il metodo di Hilbert ====
===== Assiomi =====
===== Modus Ponens =====
===== Moduls Tollens =====
 
==== La deduzione naturale ====
=== Compattezza ===