Logica matematica/Calcolo delle proposizioni: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
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 ===
|