Le proprietà delle proposizioni
Nella logica matematica le proposizioni godono delle seguenti proprietà: commutativa, associativa, distributiva.
Altre due proprietà delle proposizioni logiche sono note come leggi di De Morgan.
La proprietà commutativa
Date due proposizioni p e q, scambiando l'ordine delle proposizioni il significato non cambia.
La proprietà associativa
Date tre proposizioni p, q, z
La proprietà distributiva
Date tre proposizioni p, q, z
Le leggi di De Morgan
Secondo le leggi di De Morgan