Leyes Lógicas
1) Involución: ~ (~p)
2) Idempotencia: (p ∧ q) ≡ p; (p ∧ q) ≡ p
3) Conmutativa:
- Disyunción: (p ∨ q) ≡ (q ∨ p)
- Conjunción: (p ∧ q) ≡ (q ∧ p)
4) Asociativa: Disyunción: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
5) Distributiva:
- De la conjunción respecto de la disyunción: (p ∨ q) ∧ r ≡ (p ∧ r) ∨ (q ∧ r)
- De la disyunción respecto de la conjunción: (p ∧ q) ∨ r ≡ (p ∨ r) ∧ (q ∨ r)
Ley de Morgan
a) La negación de una disyunción es equivalente a la conjunción Seguir leyendo “Fundamentos de Lógica, Conjuntos, Sucesiones, Funciones y Derivadas” »