Apri il menu principale

Modifiche

nessun oggetto della modifica
 
:<span style="font-size:1.6875em"><math> \neg (A \wedge \neg A).\, </math></span>
 
:Dimostrazione:</br>
[[Tabella di verità|'''Tabella di verità:''']]
{| border="1" cellspacing="1" cellpadding="5"
! A !! <math> \neg A</math> !! <math> A \land (\neg A)</math> !! <math>\neg (A \land (\neg A
|- align=center
| '''V''' || '''F''' || '''F''' || '''V'''
|- align=center
| '''F''' || '''V''' || '''F''' || '''V'''
|}
 
Si tratta quindi di una tautologia (sempre vera, aprescindere dal valore di verità della variabile), o in altri temrini di una legge logica universale.
 
== Il principio di non contraddizione è fondamentale ==
Utente anonimo