Leyes de lógica proposicional

Dr. Rolando Vásquez Jaico

LEYES DEL ÁLGEBRA PROPOSICIONAL
• Aquellas fórmulas lógicas que resultan ser siempre verdaderas no importa la
combinación de los valores veritativos de sus componentes, son tautologías o leyes
lógicas.
• En el cálculo proposicional existen algunas tautologías especialmente útiles cuya
demostración se reduce a la confección de su correspondiente tabla de verdad.
• El símbolo " ≡“ significa que la expresión proposicional que está en el lado derecho es equivalente a la que está
en el lado izquierdo.
• Ejemplo:

¬(p ∧ q) ≡ ¬ p V ¬ q

p → q ≡ ¬ pv q

𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
 Ejemplo: La madre enojada con su hijo le dice: “! O haces la tarea, o
te quedas en casa¡”. Lo que la madre quiere decir es: “si no haces la
tarea, entonces te quedarás en casa”.
p → q ≡ ¬ pv q Simbólicamente :
𝑝 ∨ 𝑞 ≡ ¬𝑝 ⇒q

¬ p p →q pv ¬ pv q p →q ⟺¬ pv q
p q
q
V V F V V V V

V F F F V F V

F V V V V V V

F F V V F V V
Ejemplo: La contrarrecíproca

(p⇒q) ≡(¬q ⇒¬p) LEY LÓGICA

p q ¬p ¬q p⇒q ¬q⇒¬p (p⇒q) ⇔(¬q ⇒¬p)

1 1 0 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 0 0 1
0 0 1 1 1 1 1

Se puede observar que las columnas de (p ⇒ q) y (¬ q ⇒ ¬ p) son iguales para

los mismos valores de verdad, por lo tanto se puede establecer que
(p ⇒ q) ≡ (¬ q ⇒ ¬ p). Es lo mismo que (p⇒q) ⇔(¬q ⇒¬p)

4
 ¬(p ∧ q) ≡ ¬ p V ¬ q
¬ p ¬q p∧q ¬(p ∧ q) ¬ pv ¬q ¬(p ∧ q) ↔ ¬ p V ¬ q
p q
V V F F V F F V

V F F V F V V V

F V V F F V V V

F F V V F V V V
 Operadores
diferentes

𝑝 ∧ (𝑝 ∨ 𝑞)≡𝑝
Letras
iguales

p q 𝑝∨𝑞 p ∧ (𝑝 ∨ 𝑞) P 𝑝 ∧ (𝑝 ∨ 𝑞) ↔ 𝑝
V V V V V V

V F V V V V

F V V F F V

F F F F F V
LEYES DEL TERCIO EXCLUIDO LEY DE INVOLUCIÓN O DOBLE NEGACIÓN LEYES ASOCIATIVAS

1) 𝑝 ∨ ¬𝑝 ≡ 𝑉 7) ¬(¬𝑝) ≡ 𝑝 13) (p ∧ q) ∧ r ≡ p ∧(q ∧ r)

LEY DE CONTRADICCIÓN
LEY DE IDEMPOTENCIA 14) (p v q) v r ≡ p v (q v r)
2) 𝑝 ∧ ¬𝑝 ≡ 𝐹
8) 𝑝 ∨ 𝑝 ≡ 𝑝 LEYES DISTRIBUTIVAS
LEYES DE IDENTIDAD
9) 𝑝 ∧ 𝑝 ≡ 𝑝
3) 𝑝 ∧ 𝑉 ≡ 𝑝 15) 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

4) 𝑝 ∨ 𝐹 ≡ 𝑝 LEYES CONMUTATIVAS 16) p v (q ∧ r) ≡ (p v q) ∧ (p v r)

LEYES DE DOMINACIÓN
10) 𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝
LEYES DE DE MORGAN
5) 𝑝 ∨ 𝑉 ≡ 𝑉
11) 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝 17) ¬(p ∧ q) ≡ ¬ p V ¬ q
6) 𝑝 ∧ 𝐹 ≡ 𝐹
12) (p ⇔q) ⇔ (q ⇔p) 18) ¬(p V q) ≡ ¬ p ∧ ¬ q
LEY CONDICIONAL

19) p → q ≡ ¬ p v q

LEY BICONDICIONAL 25) FORMAS NORMALES

20) p ↔ q ≡ (p → q ) ∧ (q → 𝑝) V ∧ V ≡V
p∧ V ≡ p
p∧ F ≡ F
F∨F≡ F
LEYES DE ABSORCIÓN p∨F≡ p
ABSORCIÓN TOTAL p∨𝑉 ≡ V
21) 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝 ¬ V≡ F
22) 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 ¬ F≡ V
ABSORCIÓN PARCIAL
23) p ∧(¬ p v q ) ≡ p ∧q
24) p v (¬p ∧ q ) ≡ p v q
 APLICACIONES DE LAS LEYES LÓGICAS
A continuación aplica las principales leyes del álgebra de proposiciones para:
a) simplificación de expresiones de proposiciones
b) demostración de la igualdad de dos fórmulas proposicionales.
Ejemplo

Simplificar: (𝑝 ⇒ ￢𝑞) ∧ (￢𝑞 ∨ 𝑝) Leyes lógicas

(𝑝 ⇒ ￢𝑞) ∧ (￢𝑞 ∨ 𝑝) 𝑝 ⇒ 𝑞 ≡ ￢𝑝∨𝑞
≡ (￢𝑝 ∨ ￢𝑞) ∧ (￢𝑞 ∨ 𝑝) 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
≡ ￢𝑝 ∨ ￢𝑞 ∧ ￢𝑞 ∨ [(￢𝑝 ∨ ￢𝑞) ∧ 𝑝] 𝑝∧𝑞 ≡𝑞∧𝑝
≡ (￢𝑞 ∧ (￢𝑞 ∨ ￢𝑝)) ∨ (𝑝 ∧ (￢𝑝 ∨ ￢𝑞)) 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
p ∧(¬ p v q ) ≡ p ∧ q
≡ ￢𝑞 ∨ (𝑝 ∧ ￢𝑞) 𝑝∧𝑞 ≡𝑞∧𝑝
≡ ￢𝑞 ∨ (￢𝑞 ∧ 𝑝) p v (p ∧ q ) ≡ p
≡ ￢q
 Leyes lógicas

https://es.symbolab.com/solver/logical-sets-
calculator/%C3%A1lgebra%20booleana%20%5Cneg%28A%5Cwedge%
20B%29%5Cwedge%28%5Cneg%20A%5Cvee%20B%29?or=ex
Demuestre la siguiente equivalencia
𝑝 ∨ 𝑞 ⇒ 𝑟 ≡ (𝑝 ⇒ 𝑟) ∧ (𝑞 ⇒ 𝑟)
De derecha a izquierda
𝑝∨𝑞 ⇒𝑟 Inicio
≡ ￢ (𝒑 ∨ 𝑞) ∨ 𝑟 Ley condicional
≡ (￢𝒑 ∧ ￢𝑞) ∨ 𝑟 Ley de Morgan
≡ 𝑟 ∨ (￢𝒑 ∧ ￢𝑞) Propiedad conmutativa
≡ (𝑟 ∨ ￢𝒑) ∧ (𝑟 ∨ ￢𝑞) Propiedad distributiva
≡ (￢𝒑 ∨ 𝑟) ∧ (￢𝑞 ∨ 𝑟) Propiedad conmutativa
≡ 𝒑⇒𝑟 ∧ 𝑞⇒𝑟 Ley condicional
∴ (𝒑 ∨ 𝑞) ⇒ 𝑟 ≡ (𝒑 ⇒ 𝑟) ∧ (𝑞 ⇒ 𝑟) lqqd
 Poner aquí las
propiedades
aplicadas

Demostrar que: (p ν q) Λ (¬p ν q) ≡q.

(p ν q) Λ (¬p ν q)
≡(pΛ ¬p ) ν (q Λ q)
≡ 𝐹ν𝑞
≡𝑞
Sobre la imagen hacer Ctrl + Clic
Escribir dos leyes de la lógica que se aplican en el
video.

Clic

Leyes lógicas
 Simplificar la siguiente expresión:
¬[(𝑞 → 𝑝) ∧ (𝑝 → ¬𝑞] ∨ (¬𝑝 ∧ q) ∨ (¬𝑝 ∧ ¬q)

SIMPLIFICACIÓN LEY LÓGICA

¬[(𝑞 → 𝑝) ∧ 𝑝 → ¬𝑞 ∨ (¬𝑝 ∧ q) ∨ (¬𝑝 ∧ ¬q) ¬(𝑝 ∧ 𝑞) ≡ ¬𝑝 ∨ ¬𝑞
≡ ¬[ ¬𝑞 ∨ 𝑝 ∧ ¬𝑝 ∨ ¬𝑞 ] 𝑝 → 𝑞 ≡ ¬𝑝 ∨ 𝑞
≡ [¬ ¬𝑞 ∨ 𝑝 ∨ ¬ ¬𝑝 ∨ ¬𝑞 ] ¬(𝑝 ∨ 𝑞) ≡ ¬𝑝 ∧ ¬𝑞; ¬¬𝑝 ≡ 𝑝
≡ [ 𝑞 ∧ ¬𝑝 ∨ 𝑝 ∧ 𝑞 ] (p v q) v r ≡ p v (q v r); 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝
≡ {[ 𝑞 ∧ ¬𝑝 ∨ 𝑝 ∧ 𝑞 ] ∨ (¬𝑝 ∧ q)} 𝑝∨𝑝≡𝑝
≡ { 𝑝 ∧ 𝑞 ∨ [ 𝑞 ∧ ¬𝑝 ∨ 𝑞 ∧ ¬𝑝) } p v (q ∧ r) ≡ (p v q) ∧ (p v r)
≡ { 𝑝 ∧ 𝑞 ∨ 𝑞 ∧ ¬𝑝 } 𝑝∧𝑞 ≡𝑞∨𝑝
≡ { 𝑝 ∧ 𝑞 ∨ 𝑞 ∧ 𝑝 ∧ 𝑞) ∨ ¬𝑝 } p∨ (𝑝 ∧ 𝑞) ≡ 𝑝
≡ { 𝑞 ∧ 𝑞 ∨ ¬𝑝 } 𝑝 ∨ (𝑞 ∧ ¬𝑝) ≡ 𝑝 ∨ 𝑞
≡𝑞 𝑝∨𝑞 ≡𝑞∨𝑝
≡ 𝑞 ∨ (¬𝑝 ∧ ¬q)
≡ 𝑞 ∨ ¬𝑝 ≡ ¬𝑝 ∨ 𝑞
≡ 𝑝 →q
 ¿ Cuáles de las siguientes proposiciones son lógicamente equivalente entre sí ?
a) (¬pVq)V(¬r∧¬p) b) p ∧ (r ⇒ q) c) ¬q ⇒ ¬p

Equivalencias Nº de leyes Equivalencias: c) Leyes lógicas

lógicas ¬q⇒ ¬p
a) (¬pVq)V(¬r∧¬p)
≡ ¬¬qV¬p
≡ (qV¬p)V(¬r∧¬p)
≡ qV¬p
≡ (qV ¬pV(¬p∧¬r ]
≡ qV[(¬p∧¬r)V¬p]
≡ qV¬p
≡ (qV¬p)V(¬p∧¬r)
≡ ¬q⇒¬p
≡ (¬pVq)V(¬r∧¬p)

∴𝑨≡𝑪
 Negación de proposiciones
• Dada la proposición “3+4=7 entonces 8 es primo, o cuatro no es par”
• Negar oracionalmente la proposición
• Determinar el valor de verdad de la proposición original.
• Solución.
• Sean: p: 3+4=7
q: 8 es primo
r: 4 es par
La proposición en símbolos es: (𝑝 ⇒ 𝑞) ∨ ¬𝑟
Su negación es: ¬((𝑝 ⇒ 𝑞) ∨ ¬𝑟)
Equivalentemente: ¬ 𝑝 ⇒ 𝑞 ∨ ¬𝑟 ≡ ¬ 𝑝 ⇒ 𝑞 ∧ 𝑟 ≡ ¬ ¬𝑝 ∨ 𝑞 ∧ r
≡ 𝑝 ∧ ¬𝑞 ∧ r
Oracionalmente: “3+4=7, 8 no es primo y cuatro es par”
En la proposición original: v(p)=V, v(q)=F y v(r)=V
𝑣 𝑝 ⇒ 𝑞 ∨ ¬𝑟 = 𝑣 𝑉 ⇒ 𝐹 ∨ ¬𝑉 = 𝑣 𝐹 ∨ 𝐹 ∨ 𝐹 = 𝐹
Negar la siguiente proposición y luego simplificar
{(𝑝 ⇒ 𝑞) ∨ [𝑟 ⇒ (¬𝑞 ∧ 𝑝)]}

¬{(𝑝 ⇒ 𝑞) ∨ [𝑟 ⇒ (¬𝑞 ∧ 𝑝)]}

¬{(¬𝑝 ∨ 𝑞) ∨ [¬𝑟 ∨ (¬𝑞 ∧ 𝑝)]}

¬{¬𝑝 ∨ 𝑞 ∨ ¬𝑟 ∨ (¬𝑞 ∧ 𝑝)}

¬{¬𝑝 ∨ [𝑞 ∨ ¬𝑞 ∧ 𝑝 ] ∨ ¬𝑟}

¬{¬𝑝 ∨ [𝑞 ∨ 𝑝] ∨ ¬𝑟}

¬{(¬𝑝 ∨ 𝑝) ∨ 𝑞 ∨ ¬𝑟}

¬{𝑉}

𝐹
GRACIAS
Ejercicios Nº 3
A) Negar y luego simplificar:
1) [q ˄ (q ⇒¬p)]⇒¬(p ˄ q)
2) [q V ¬[¬(p ˄ q) ⇒¬q
3) ¬ [(q ⇒ p) ∧ (p ⇒ q)] V [(¬ p ∧ q) V (¬ p ∧ ¬ q)]
4) [p ˄(p V ¬ q)] ⇒ ¬[q V(¬p ˄ ¬q]
5) ¬ [q ⇒ (p ⇒ ¬ q)] ⇒ [(¬ p ⇒ q) ⇔ ¬ p]
6) (¬ p ⇒ q) V ¬ (q ⇒ q)
7) [¬(p ⇒ q) ⇒¬(q⇒p] ˄ (p V q)
8) [¬p ˄(r ⇒q)]⇔[p V r) ⇒(¬p ˄ q) ]
B) Probar la equivalencia:

1. 𝑝 ∧ 𝑞 ⟺ ¬[𝑝 ⇒ ¬𝑞 ]
2. 𝑝 ⇒ 𝑞 ∨ 𝑟 ⟺ [𝑝 ∧ (¬𝑞) ⇒ 𝑟]
3. 𝑝 ∧ 𝑞 ⇒ ¬ ¬𝑝 ∧ ¬𝑞 ≡ ¬(𝑝 ∧ 𝑞) ∨ ¬ ¬𝑝 ∧ ¬𝑞
4. p ⇒ (q ˄ r) ≡ (p ⇒ q) ˄ (p ⇒ r)
5. [(¬𝑝 ∧ 𝑞) ∨ 𝑝] ∧ (𝑞 ∨ 𝑝)¬𝑞 ≡ (¬𝑞 ∧ p)
6. (¬𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ ¬𝑞) ≡ (p ∨ q)
7. [(¬ 𝑝 ∨ 𝑞 ∨ ¬𝑝 ∧ 𝑞 ] → (¬𝑝 ∧ 𝑞) ≡ (p ∨ q)
8. 𝑝 → 𝑞 ∨ ¬𝑞 ∧ ¬𝑞 ∨ (𝑟 ∧ 𝑞 ∧ [𝑝 → (𝑝 ∧ ¬𝑞) ≡ (¬𝑞 ∨ r)