LEYES DE LA LÓGICA PROPOSICIONAL

1. IDEMPOTENCIA:
1.1. p ٨ p ≡ p
1.2. p ٧ p ≡ p
2. ASOCIATIVA:
2.1. (p ٨ q) ٨ r ≡ p ٨ (q ٨ r)
2.2. (p ٧ q) ٧ r ≡ p ٧ (q ٧ r)
2.3. (p ↔ q) ↔ r ≡ p ↔ (q ↔ r)
3. CONMUTATIVA:
3.1. p ٨ q ≡ q ٨ p
3.2. p ٧ q ≡ q ٧ p
3.3. p ↔ q ≡ q ↔ p
4. DISTRIBUTIVA:
4.1. p ٨ (q ٧ r) ≡ (p ٨ q) ٧ (p ٨ r)
4.2. p ٧ (q ٨ r) ≡ (p ٧ q) ٨ (p ٧ r)
4.3. p→ (q ٨ r) ≡ (p →q) ٨ (p→ r)
4.4. p→ (q ٧ r) ≡ (p →q) ٧ (p→ r)
5. ABSORCIÓN:
5.1. p ٨ (p ٧ q) ≡ p
5.2. p ٧ (p ٨ q) ≡ p
6. COMPLEMENTO:
6.1. ~ ~p ≡ p
6.2. p ٨ ~ p ≡ F ≡ ~ p ٨ p
6.3. p ٧ ~p ≡ V ≡ ~ p ٧ p Tercero excluido
6.4. p → p ≡ V, p ↔ p ≡ V Principio de identidad
6.5. ~ (p ٨ ~p) ≡ V Principio de contradicción
6.6. ~ V ≡ F, ~ F ≡ V
7. IDENTIDAD:
7.1. p ٨ V ≡ p ≡ V ٨ p
7.2. p ٨ F ≡ F ≡ F ٨ p
7.3. p ٧ V ≡ V ≡ V ٧ p
7.4. p ٧ F ≡ p ≡ F ٧ p
8. DE MORGAN:
8.1. ~ (p ٨ q) ≡ ~ p ٧ ~ q
8.2. ~ (p ٧ q) ≡ ~ p ٨ ~ q
9. EXPANSIÓN BOOLEANA:
9.1. p ≡ p ٨ (q ٧ ~ q)
9.2. p ≡ p ٧ (q ٨ ~ q)
10. EXPORTACIÓN Y TRASPOSICIÓN:
10.1. (p ٨ q) → r ≡ p → (q → r) Exportación
10.2. p → q ≡ ~ q → ~ p Trasposición
11. DEFINICIONES:
11.1. p→q≡ ~p٧q
11.2. p ↔ q ≡ (p → q) ٨ ( q → p)
11.3. p ↔ q ≡ (~ p ٧ q) ٨ (~ q ٧ p)
11.4. p ▲ q ≡ (p ٧ q) ٨ ~ (p ٨ q)