Clase3 Leyes Lógicas 2023

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)

Clase3 Leyes Lógicas 2023

Cargado por

Copyright:

Formatos disponibles

Clase3 Leyes Lógicas 2023

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase3 Leyes Lógicas 2023

Cargado por

Copyright:

Formatos disponibles

Leyes de lógica proposicional

Dr. Rolando Vásquez Jaico

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

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

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

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

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

LEY BICONDICIONAL 25) FORMAS NORMALES

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

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

SIMPLIFICACIÓN LEY LÓGICA

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

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

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

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

También podría gustarte