Apri il menu principale

Modifiche

m
Aggiunta il link alla dimostrazione come collegamento esterno
* [[Tertium non datur|Principio del terzo escluso]]
* [[Consistenza (logica matematica)|Consistenza]]
 
== Collegamenti esterni ==
* {{Cita web|http://esercizidilogica.blogspot.it/2013/07/a-a_24.html|Dimostrazione del Principio di non contraddizione fatta in Deduzione Naturale e Calcolo dei Sequenti|21 luglio 2013|lingua=it}}
 
== Altri progetti ==
951

contributi