LEYES DEL ALGEBRA

PROPOSICIONAL E INFERENCIAS
LÓGICAS
 LEYES LÓGICAS
Las leyes de la algebra de proposiciones son
equivalencias lógicas que se pueden demostrar con el
desarrollo de las tablas de verdad del bicondicional.
Las leyes del algebra de proposiciones son las
siguientes:
 LEYES LÓGICAS
4. Ley distributiva p  q  r    p  q    p  r 

p  q  r    p  q    p  r 

p   p  q  p
5. Ley de absorción p   p  q  p

~(p ∧ q) ≡ ~p ∨ ~q
6. Ley de De Morgan
~(p ∨ q) ≡ ~p ∧ ~q
Leyes Nombre
p ∨ ~p ≡ V Ley de medio Excluido
p ∧ ~p ≡ F Ley de Contradicción
p∨F≡p Leyes de Identidad
p∧V≡p Leyes de Identidad
p∨V≡V Leyes de Dominación
p∧F≡F Leyes de Dominación
p∨p≡p Leyes de Idempotencia
p∧p≡p Leyes de Idempotencia
p∨q≡q∨p Leyes Conmutativas
p∧q≡q∧p Leyes Conmutativas
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Leyes Asociativas
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) Leyes Asociativas
(p ∨ q) ∧ (p ∨ r) ≡ p ∨ (q ∧ r) Leyes Distributivas
(p ∧ q) ∨ (p ∧ r) ≡ p ∧ (q ∨ r) Leyes Distributivas
~(p ∧ q) ≡ ~p ∨ ~q Leyes de DeMorgan
~(p ∨ q) ≡ ~p ∧ ~q Leyes de DeMorgan
................................................................. .................................................................
 EJERCICIOS DE APLICACIÓN

1. ~{(~p ˅ ~q) ˅ ~q}

2. [~p ˅ q] ˅ [~q ˅ ~p]

3. (p ˅ ~p) ∧ [p ∧ (q ˅ p)]
𝟒. 𝒑 ‫𝒑⇒ 𝒒∧ 𝒒∼ڀ‬
5. [(~p ∧ q) ⇒ (r ∧ ~r)] ∧ ~q

6. ( p ⇒ q ) ∧ ( q ⇒ r )

7. p ∧ ( p ⇒ q )

8. ((p ∧ q) ⇔ (p v ~q))

9. ((~(p ⇒ q) ∧ r ) v ~(p ⇔ ~q))

INFERENCIAS LÓGICAS
 Inferencia lógica con base verdadera
1.Los hombres mueren = premisa 1 = p
2.Ernesto es un hombre = premisa 2 = q
3.Por lo tanto Ernesto muere = conclusión = .·.

1. Todos los libros de matemáticas son aburridos

2. Este es un libro de matemáticas
3. Este es un libro aburrido

1.Los niños crecen

2.Ana es una niña
3.Ana crecerá
 MODUS PONENS

La siguiente implicación lógica se llama Modus

Ponens y corresponde a la siguiente
inferencia:
p ∧ ( p ⇒ q ) :: q
Ejemplo:
p: Estudio
p ⇒ q: Si estudio aprobaré Matemáticas
q: Entonces, Aprobaré Matemáticas
 MODUS TOLLENS

La siguiente implicación lógica se llama

Modus Tollens y corresponde a la siguiente
inferencia:
( p ⇒ q ) ∧ ~q :: ~p
Ejemplo:
p ⇒ q: Si estudio apruebo Matemáticas
~q: No aprobé Matemáticas
~p: Entonces, no Estudié
 SILOGISMO HIPOTÉTICO

La siguiente implicación lógica se llama

Silogismo Hipotético y corresponde a la
siguiente inferencia:
( p ⇒ q ) ∧ ( q ⇒ r ) :: ( p ⇒ r )
Ejemplo:
p ⇒ q: Si estudio apruebo Matemáticas
q ⇒ r: Si apruebo Matemáticas me regalan un
auto
p ⇒ r: Entonces, Si estudio me regalan un auto
 SILOGISMO DISYUNTIVO

La siguiente implicación lógica se llama

Silogismo Disyuntivo y corresponde a la
siguiente inferencia:
( p v q ) ∧ ~p :: q
Ejemplo:
p v q: Hay que estudiar Francés o Alemán
~p: No estudio Francés
q: Entonces, Estudio Alemán
 SIMPLIFICACIÓN CONJUNTIVA Y DISYUNTIVA

La simplificación conjuntiva consiste en

eliminar uno de los términos de una
conjunción:
( p ∧ q ) :: q o también: ( p ∧ q ) :: p

Por el otro lado, la amplificación disyuntiva

permite agregar un nuevo término:
p :: ( p v q )