Ley del medio excluyente: p ∨ (∼ p). Ley de contradicción: ∼ [p ∧ ( ∼ p)]. Ley de involución: ∼ (∼ p) ↔ p. Ley de idempotencia: (p ∧ p) ↔ p. (p ∨ p) ↔ p.
Leyes de la Lógica Usaremos como leyes de la lógica, aquellas fórmulas que son tautologías. Ley del medio excluyente: p ∨ (∼ p) Ley de contradicción: ∼ [p ∧ ( ∼ p)] Ley de involución: ∼ (∼ p) ↔ p Ley de idempotencia: (p ∧ p) ↔ p (p ∨ p) ↔ p Ley conmutativa: (p ∨ q) ↔ (q ∨ p) (p ∧ q) ↔ (q ∧ p) Ley asociativa: (p ∨ q) ∨ r ↔ p ∨ (q ∨ r) (p ∧ q) ∧ r ↔ p ∧ (q ∧ r) Ley distributiva: