Principio di non contraddizione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
mNessun oggetto della modifica |
||
Riga 6:
:<span style="font-size:1.6875em"><math> \neg (A \wedge \neg A).\, </math></span>
:Dimostrazione:
{| class="wikitable" style="text-align:center"
|+[[Tabella di verità
! <math>A</math> !! <math> \neg A</math> !! <math> A \land (\neg A)</math> !! <math>\neg (A \land (\neg A))</math>
|-
|
|-
|
|}
|