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