Logica matematica/Calcolo delle proposizioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 10:
===== Modus Ponens =====
===== Moduls Tollens =====
===== L' assioma di Meredith =====
 
==== La deduzione naturale ====