Apri il menu principale

Modifiche

Principio di non contraddizione

225 byte aggiunti, 5 anni fa
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 ==
949

contributi