Importantissima. E’ chiamata “PRIMA LEGGE DELLE INVERSE”

 Importantissima. Descrive la corretta interpretazione di  

Ricordiamo (vedi Logica, Prima parte) che

due proposizioni composte,

costituite dalle stesse proposizioni componenti

(collegate, però, in modo diverso dai connettivi logici),

si dicono "logicamente equivalenti"

se assumono sempre lo stesso valore di verità,

qualunque siano i valori di verità

delle proposizioni componenti.

E che

per verificare se due proposizioni

sono logicamente equivalenti,

ci si serve delle “tavole di verità” dei vari connettivi:

V

V

V

V

V

V

V

F

V

F

F

V

F

V

F

V

F

V

F

F

V

V

F

F

F

F

F

F

V

V

V

V

V

V

V

F

F

V

F

F

F

V

V

F

V

F

F

F

V

F

F

V

V

V

V

F

F

V

F

F

V

V

V

V

V

F

V

F

V

V

F

F

F

V

V

F

V

F

F

F

V

F

F

F