Matemática Básica I
PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS
Las llamadas leyes lógicas o principios lógicos viene
a ser formas proposicionales tautológicas de
carácter general y que a partir de estas leyes lógicas
se puede generar otras tautológicas y también
cualquier tautología se puede reducir a una de las
leyes lógicas, entre las principales leyes lógicas
mencionaremos.
1° LOS TRES PRINCIPIOS LÓGICOS CLÁSICOS
1. Ley de identidad
⟶

 ⟷  “Una proposición sólo
idénticos así mismo”
2. Ley no contradicción
∼  ∧∼  “una proposición no puede ser
verdadero y falso a la vez”
3. Ley del Tercio excluido.
“Una proposición es verdadero o es falso no
hay una tercera posibilidad”
a) p ∨ ∼ p ≡ V
b) p ∧ ∼ p ≡ F
2° EQUIVALENCIAS NOTABLES
1. Ley de la doble negación
~~p  p “la negación de la negación es
una afirmación"
2. Ley de la Idempotencia
a) p ∨ p ≡ p
b) p ∧ p ≡ p
3. Leyes conmutativas
a) p ∨ q ≡ q ∨ p
b) p ∧ q ≡ q ∧ p
c) p ↔ q ≡ q ↔ p
4. Leyes Asociativa
a) p ∨ q ∨ r ≡ p ∨ q ∨ r
b) p ∧ q ∧ r ≡ p ∧ q ∧ r)
c) p ⟷  ⟷ r ≡  ⟷ q ⟷ r
5. Leyes Distributivas
a) p ∧ q ∨ r ≡ p ∧ q ∨ p ∧ r
b) p ∨ q ∧ r ≡ p ∨ q ∧ p ∨ r
c) p ⟶  ∧  ≡  ⟶ q ∧  ⟶ r
d) p ⟶  ∨  ≡  ⟶ q ∨  ⟶ r
6. Leyes de Morgan
a) ∼ p ∧ q ≡ ∼ p ∨ ∼ q
b) ∼ p ∨ q ≡ ∼ p ∧ ∼ q
7. Leyes del Condicional
a) p → q ≡ ∼ p ∨ q
b) ∼ p→ q ≡ p ∧∼ q
8. Las Leyes del Bicondicional
a) p ↔ q ≡ p → q ∧ q → p
b) p ↔ q ≡ p ∧ q ∨ ∼ q ∧∼ p
9. Leyes de la Absorción
a) p ∧ p ∨ q ≡ p
b) p ∨ p ∧ q ≡ p
c) p ∧ ∼ p ∨ q ≡ p ∧ q
d) p ∨ ∼ p ∧ q ≡ p ∨ q
son 10. Leyes de Transposición
a) p ⟶ q ≡∼ q ⟶∼ p
b) p ⟷ q ≡∼ q ⟷∼ p
11. Leyes De Exportación
a) p ∧ q ⟶ r ≡ p ⟶ q ⟶ r
b) p ∧ p ∧ … ∧ p  ⟶ r ≡ p ∧ p ∧ … ∧
p  ⟶ p ⟶ r
12. Elementos Neutros para la Conjunción y
Disyunción
a) p ∧ V ≡ p, V neutro de la Conjunción
b) p ∨ F ≡ p, F neutro de la Disyunción
13. Formas normales para la conjunción y
disyunción
a) V ∧ V ≡ V
b) F ∨ F ≡ F
c) p ∧ V ≡ p
d) p ∨ F ≡ p
e) p ∧ F ≡ F
f) p ∨ V ≡ V
14. También
a) p ∨ q ∧ p ∨∼ q ≡ p
b) p ∧ q ∨ p ∧∼ q ≡ p
OBSERVACIÓN. - Estas Leyes son muy útiles para
simplificar los problemas, puesto que es válido
reemplazar una proposición por su equivalente sin
alterar el resultado.
Lic. Efraín Gil Pando Vega | 9
Matemática Básica I

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) p ∨∼ q ∧ q ⟶ p i) [(~p ∧ q) → (r ∧ ~r)] ∧ ~q
b) ∼ ∼ p ∧ q ⟶∼ q ∨ q j) [(p ∧ q) ∨ (p ∧ ~q)] ∨ (~p ∧ ~q)
2. Simplificar ∼ ∼ p ∧ q ⟶∼ q ∨ q 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) ∼ q ∨∼ p ∨ q ∧ r ∨∼ p n) [( p → ~ q ) → ~p ] → q
b) p ∧∼ q ∧ ∼ q ∨ ∼ r ∨ p o) [( p ∧ q ) → ~r] v [ p → ( q → ~r)]
c) ∼ ∼ q ⟶∼ p ∧ q ⟶∼ p ⟶ r
4. Determinar si (a) y (b) son proposiciones
equivalentes:
a) p ⟶ r ∨∼ q
b) q ⟶∼ p ∨ ∼ r ⟶∼ p
5. Simplificar ∼ p ∧ q ⟶ r ∧∼ r! ∧∼ q
6. Determinar si a) y b) son proposiciones
equivalentes:
a) p ⟶ r ∨∼ q
b) q ⟶∼ p ∨ ∼ r ⟶∼ p

1. Simplificar las siguientes proposiciones:

a) ∼ q ⟶∼ q ⟶ ∼ p ⟶∼ q! ⟶∼ p ∧ q
b) p ⟶ q ∨∼ p ∧ ∼ q ⟶ p
c) ∼ ∼ ∼ p ∧ q ∨∼ q ⟶ ∼ p ∨∼ q!
d) ∼ p ∨∼ q ∧ ∼ p ∧ q ⟶ p
e) p ⟶ q ⟶ p ∧ q ∨ p ∧ r
f) ∼ ∼ p ∧ q ⟶∼ q ∨ p
g) ∼ p ∧ q ⟶ q ⟶ p ∧ p
2. Simplificar las siguientes proposiciones:
a) ∼ p ∧ q ⟶ r ∧∼ r ∧∼ q
b) ∼ q ⟶∼ p ⟶ ∼ p ⟶∼ q ∧∼ p ∧ q
c) p ∧ q ∨ p ∧∼ q ∨ ∼ p ∧∼ q
d) p ∧ q ∨ ∼ p ∧∼ q ∨ p
e) t ⟶ p ⟶ q ⟶ q ∧ ∼ p ∧ q ⟶ p
f) ∼ p ⟶ q ⟶∼ q ⟶ p ∧ p ∨ q
g) p ∧∼ q ∧ q ⟶ p ∧ r ∨ p
3. Simplificar
p→ p ∨ q ∧ ∼ q ∨ r ∧ q ∧ p → p ∨ ∼ q
4. Simplificar ∼ p ∨ q ∨ ∼ p ∧ q → ∼ p ∧ q
5. Simplificar # → ∼ $ → ∼ # →$
6. Simplificar # % $ → ∼ & ∨ #→ $→ ∼ &
7. Simplificar las siguientes proposiciones:
a) ~{[(~p) ∨ (~q)] ∨ ~q ]}

10 | Lic. Efraín Gil Pando Vega