���������� ������ �

PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS

TAUTOLÓGICAS
Las llamadas leyes lógicas o principios lógicos viene 7. Leyes del Condicional
a ser formas proposicionales tautológicas de a) →�  �  �  �
≡ ∼ ∨

carácter general y que a partir de estas leyes lógicas b) ∼ �

 �  �
→  � ≡ � ∧∼ �
se puede generar otras tautológicas y también 8. Las Leyes del Bicondicional
cualquier tautología se puede reducir a una de las a) ↔�  �  �  �  �  �
≡ → ∧ →

leyes lógicas, entre las principales leyes lógicas b) ↔�  �  �

≡  � ∧ � ∨ ∼ � ∧∼ �
�
mencionaremos. 9. Leyes de la Absorción
�  �  �  �
�� ∧ ∨ ≡
1°LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS �  �  �  �
�� ∨ ∧ ≡
�    �  �  �  �
�� ∧ ∼ ∨ ≡ ∧
1. Ley de identidad �    �  �  �  �
�� ∨ ∼ ∧ ≡ ∨
 ⟶ 
 ⟷   “Una proposición sólo son 10. Leyes de Transposición
idénticos así mismo” a) � ⟶ � ≡∼ � ⟶∼ �
2. Ley no contradicción b) � ⟷ � ≡∼ � ⟷∼ �
∼ 
  ∧∼ 
 “una proposición no puede ser 11. Leyes De Exportación
verdadero y falso a la vez” a) � ∧ � ⟶ � ≡ � ⟶ 
⟶ �� ⟶ �
3. Ley del Tercio excluido. b) �  ∧ �  ∧ �∧ �  ⟶ � ≡ �
    � ∧ � ∧ � ∧
“Una proposición es verdadero o es falso no �  ⟶ 
 ⟶ ��  ⟶ �
hay una tercera posibilidad” 12. Elementos Neutros para la Conjunción y
a) �  �  �
∨ ∼ ≡ Disyunción
b) �  �  �
∧ ∼ ≡ a) � ∧ � ≡ �, � neutro de la Conjunción
b) � ∨ � ≡ �, � neutro de la Disyunción
2°EQUIVALENCIAS NOTABLES 13. Formas normales para la conjunción y
disyunción
1. Ley de la doble negación a) �  �  �
∧ ≡

���  �   “la negación de la negación es b) �  �  �

∨ ≡

una afirmación" c) �  �  �
∧ ≡

2. Ley de la Idempotencia d) �  �  �
∨ ≡

a) �  �  �
∨ ≡
e) �  �  �
∧ ≡

b) �  �  �
∧ ≡
f) �  �  �
∨ ≡

3. Leyes conmutativas 14. También

a) �  �  �  �
∨ ≡ ∨
a) � ∨ � ∧ � ∨∼ � ≡ �
b) �  �  �  �
∧ ≡ ∧
b) � ∧ � ∨ � ∧∼ � ≡ �
c) �  �  �  �
↔ ≡ ↔

4. Leyes Asociativa OBSERVACIÓN.

OBSERVACIÓN. - Estas Leyes son muy útiles para
a) �  �  �  �  �  �
∨ ∨ ≡ ∨ ∨
simplificar los problemas, puesto que es válido
b) �  �  �  �  �  �
∧ ∧ ≡ ∧ ∧ �
reemplazar una proposición por su equivalente sin
alterar el resultado.
c) ⟷   ⟷ �
� ⟷  � ≡ 
 ≡   ⟷ �
� ⟷ �
5. Leyes Distributivas
a) �  �  �  �  �  �  �
∧ ∨ ≡ ∧ ∨ ∧

b) �  �  �  �  �  �  �

∨ ∧ ≡ ∨ ∧ ∨

c) ⟶   ∧  ≡ 
� ⟶   ≡   ⟶ � ∧ 
  ⟶ �
�
d) ⟶   ∨  ≡ 
� ⟶   ≡   ⟶ � ∨ 
  ⟶ �
�
6. Leyes de Morgan
 �  �  �  �
a) ∼ ∧ ≡ ∼ ∨ ∼
 �  �  �  �
b) ∼ ∨ ≡ ∼ ∧ ∼

���� ������ ��� ����� ���� � �

���������� ������ �

b) [~p ∨ q] ∨ [~q ∨ ~p]

c) ( p ∨ ~p) ∧ [p ∧ (q ∨ p)]
d) [~ (p → q) → ~ (q → p)] ∧ (p ∨ q)
e) {[(p → q) ↔ ~q] ∧ ~q}
f) ~ [(p ∨ p) ↔ p]
1. Simplificar las proposiciones siguientes g) [(p ∨ ~q) ∧ q] → p
aplicando las leyes lógicas h) ~ [~ (p ∧ q) → ~q] ∨ q
a) � ∨∼ � ∧ � ⟶ � i) [(~p ∧ q) → (r ∧ ~r)] ∧ ~q
b) ∼ ∼ � ∧ � ⟶∼ � ∨ �  j) [(p ∧ q) ∨ (p ∧ ~q)] ∨ (~p ∧ ~q)
2. Simplificar ∼ ∼ � ∧ � ⟶∼ � ∨ � k) [(~p ∧ q) ↔ (r ∧ ~r)] ∧ ~q
3. Comprobar que las tres proposiciones l) [(p→ p) ∨ q] ∧ [~q ∨ (r ∧ q)] ∧ [p → (p ∨ ~q)]
siguientes son equivalentes: m) [~(p ∨ q) ∨ (~p ∧ q)] → (~p ∧ q)
a) ∼ � ∨∼ � ∨ � ∧ � ∨∼ � n) [( p → ~ q ) → ~p ] → q
b) � ∧∼ � ∧ ∼ � ∨ ∼ � ∨ � o) [( p ∧ q ) → ~r] v [ p → ( q → ~r)]
c) ∼ ∼ � ⟶∼ � ∧ � ⟶∼ � ⟶ �
4. Determinar si (a) y (b) son proposiciones
equivalentes:
a) � ⟶ � ∨∼ �
b) � ⟶∼ � ∨ ∼ � ⟶∼ �
5. Simplificar ∼ � ∧ � ⟶ � ∧∼ � ∧∼ �
6. Determinar si a) y b) son proposiciones
equivalentes:
a) � ⟶ � ∨∼ �
b) � ⟶∼ � ∨ ∼ � ⟶∼ �

1. Simplificar las siguientes proposiciones:

a) ∼ � ⟶∼ � ⟶ ∼ � ⟶∼ � ⟶∼ �∧ �
b) � ⟶ � ∨∼ � ∧ ∼ � ⟶ �
c) ∼ ∼ ∼ � ∧ � ∨∼ � ⟶  ∼ � ∨∼ �
d) ∼ � ∨∼ � ∧ ∼ � ∧ � ⟶ �
e) � ⟶ � ⟶ � ∧ � ∨ � ∧ �
f) ∼ ∼ � ∧ � ⟶∼ � ∨ �
g) ∼ � ∧ � ⟶ � ⟶ � ∧ �
2. Simplificar las siguientes proposiciones:
a) ∼ � ∧ � ⟶ � ∧∼ � ∧∼ �
b) ∼ � ⟶∼ � ⟶ ∼ � ⟶∼ � ∧∼ � ∧ �
c) � ∧ � ∨ � ∧∼ � ∨ ∼ � ∧∼ �
d) � ∧ � ∨ ∼ � ∧∼ � ∨ �
e) � ⟶ � ⟶ � ⟶ � ∧ ∼ � ∧ � ⟶ �
f) ∼ � ⟶ � ⟶∼ � ⟶ � ∧ � ∨ �
g) � ∧∼ � ∧ � ⟶ � ∧ � ∨ �
3. Simplificar
�  �  �  ∼ �  �  �  �  �  ∼ �
→ ∨ ∧ ∨ ∧ ∧ → ∨

4. Simplificar ∼ �  �  ∼ �  �  ∼ �  �

∨ ∨ ∧ → ∧

5. Simplificar  → ∼  → ∼   →

6. Simplificar    → ∼  ∨ → → ∼ 
7. Simplificar las siguientes proposiciones:
a) ~{[(~p) ∨ (~q)] ∨ ~q ]}

�� � ���� ������ ��� ����� ����