LÓGICA PROPOSICIONAL
Por: SUÁREZ AZPUR, Fredy R.
15 de julio de 2022
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 1 / 33
Enunciados y proposiciones
Definición 1 (Enunciado)
Un enunciado es cualquier frase que mencionamos a diario.
Ejemplos
1. Hola
2. 1 más 2, entre 7.
3. ¿A dónde va usted?.
4. Aquella vez que encontre un auto.
5. 7 es mayor que 9.
6. Existen mascotas que viven en el agua.
7. Aquella pizarra es negra y grande.
8. Una flama es caliente.
9. La materia está constituida por átomos.
10. 2x + 7y = 9, etc.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 2 / 33
Enunciados y proposiciones
Definición 2 (proposición)
Una proposición es un enunciado que puede ser cierto o falso (solo uno)
Ejemplos
Los siguientes enunciados son proposiciones
1. p : 2 + 3 = 5.
2. q : 6 < 5.
3. r : 0 es número par.
4. s : San Martı́n cruzó los andes.
Ejemplos
Los siguientes enunciados no son proposiciones
1. 1 + 11. 3. Todos los números pares
2. Dame ese libro. 4. 5 + x = 15, etc
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 3 / 33
Conectivos lógicos
Conectivos lógicos o términos de enlace
Los conectivos lógicos son representados de esta manera:
∼ corresponde a no
∧ corresponde a y
∨ corresponde a o (incluyente)
4=Y corresponde a o (excluyente)
−→ corresponde a si . . . entonces . . .
←→ corresponde a si y solamente si.
Definición 3 (proposición simple)
Una proposición es simple es aquella que no contiene conectivos lógicos.
Definición 4 (proposición compuesta)
Una proposición es compuesta, cuando está constituida por dos o más proposiciones simples enlazadas mediante
los conectivos lógicos.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 4 / 33
Principales proposiciones compuestas
Definición 5 (proposición negativa)
La negación de la proposición p es “no p” y se denota por ∼ p.
Su tabla de verdad es
p ∼p
V F
F V
1. p: 3 es un número impar. ∼ p: 3 no es un número impar.
2. p: La nueva ley no fue aprobada. ∼ p: La nueva ley fue aprobada.
o o
3. r : sen 45 = cos 45 . ∼ r : sen 45o 6= cos 45o
4. s : Los polı́gonos regulares, están siempre inscritos.
∼ s : Los polı́gonos regulares, no siempre están inscritos.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 5 / 33
Principales proposiciones compuestas
Definición 6 (proposición conjuntiva)
La proposición “p y q” es las conjunción de las proposiciones p, q y se denota por p ∧ q.
Su tabla de verdad es p q p∧q
V V V
V F F
F V F
F F F
Son proposiciones conjuntivas
1. Hoy es martes y tendremos una práctica calificada.
2. 7 es un número impar pero su duplo es un número par.
3. 11 es un número primo y 60 es múltiplo de 15.
4. La luna gira alrededor de la Tierra y del sol.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 6 / 33
Principales proposiciones compuestas
Definición 7 (proposición disyuntiva inclusiva)
La proposición “p o q” es las disyunción de las proposiciones p, q y se denota por p ∨ q.
Su tabla de verdad es p q p∨q
V V V
V F V
F V V
F F F
Son proposiciones disyuntivas inclusivas
1. O Raúl está en clase o está en la Universidad.
√
2. sen 90o = 1 o 3 es un número irracional.
3. 23 es un número primo o es un número impar.
4. La mediatriz de un segmento es perpendicular a él o lo biseca.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 7 / 33
Principales proposiciones compuestas
Definición 8 (proposición disyuntiva exclusiva)
La proposición “ o p o q” es las disyunción de las proposiciones p, q y se denota por p4q.
Su tabla de verdad es p q p4q
V V F
V F V
F V V
F F F
Son proposiciones disyuntivas exclusivas
1. O 5 + 8 < 10 o 5 + 8 > 10.
2. 5 es número racional o irracional.
3. Mario nació en Argentina o nació en Chile.
4. Juan es justo o injusto.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 8 / 33
Principales proposiciones compuestas
Definición 9 (proposición condicional)
La proposición “si p, entonces q” es la proposición condicional con antecedente p, consecuente q y se denota
por p −→ q.
Su tabla de verdad es p q p −→ q
V V V
V F F
F V V
F F V
Son proposiciones condicionales
1. Si Juan es más alto que Pedro, Marı́a es más baja que Juana.
2. José llegó antes de las diez si el reloj está adelantado.
3. La constitución queda como estaba siempre que la enmienda no fue aprobada.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 9 / 33
Principales proposiciones compuestas
Definición 10 (proposición bicondicional)
La proposición “p si, y sólo si, q” es la proposición bicondicional y se denota por p ←→ q.
Su tabla de verdad es p q p ←→ q
V V V
V F F
F V F
F F V
Son proposiciones bicondicionales
1. ABC es un triángulo equilátero si, y sólo si, es equiángulo.
2. ABC es un triángulo isóceles si, y sólo si, tiene dos lados iguales
3. Esta Ley será aprobada es esta sesión si, y solamente si, es apoyada por la mayorı́a.
4. El terreno puede ser cultivado equivale a que el terreno se provee de un sistema de riego.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 10 / 33
Proposiciones equivalentes
Definición 11 (Proposiciones equivalentes)
Dos proposiciones son equivalentes si sus tablas de valores son idénticas.
Las proposiciones “p ∧ q” y “p ∧ (∼ p ∨ q)” son equivalentes pues
p q p∧q p q p ∧ (∼ p ∨ q)
V V V V V V V F V V
V F F V F V F F F F
F V F F V F F V V V
F F F F F F F V V F
Las proposiciones “p ∨ q” y “p ∧ (∼ p ∨ q)” no son equivalentes pues
p q p∨q p q p ∧ (∼ p ∨ q)
V V V V V V V F V V
V F V V F V F F F F
F V V F V F F V V V
F F F F F F F V V F
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 11 / 33
La proposición condicional
En toda proposición condicional p −→ q están presentes dos proposiciones, p es el antecedente, premisa o
hipótesis y q es el consecuente o tesis.
p −→ q se escribe como : Si p, entonces q.
Si p, q.
p luego q.
p por lo tanto q.
p por consiguiente q.
···
q si p.
q siempre que p.
q ya que p.
q puesto que p.
q dado que p.
q en vista que p.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 12 / 33
La proposición condicional
Definición 12
Dada la proposición condicional p −→ q, definamos otras proposiciones condicionales asociadas a ella, que son
la siguientes:
1) La proposición recı́proca: de p −→ q es q −→ p.
2) La proposición contraria: de p −→ q es ∼ p −→∼ q.
3) La proposición contrarecı́proca: de p −→ q es ∼ q −→∼ p.
Sea la proposición: “Si modificamos el artı́culo 20, entonces el estatuto se aprueba”.
? Su antecente es p : modificamos el artı́culo 20.
? Su consecuente es q : el estatuto se aprueba.
? “Si el estatuto se aprueba, entonces se modifica el artı́culo 20”.
? “Si no modificamos el artı́culo 20, entonces el estatuto no se aprueba”.
? “Si el estatuto no se aprueba, entonces no se modifica el artı́culo 20”.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 13 / 33
La proposición condicional
Observación
La proposición condicional p −→ q es equivalente a su contrarecı́proca ∼ q −→∼ p. También son equivalentes
las proposiciones reciproca y contrarias
Ejemplo
Decir que:
“Si recibo un aumento de salario, entonces planearé mi viaje al extranjero”.
es equivalente a mencionar que:
“Si no planeé mi viaje al extranjero, entonces no recibı́ un aumento de salario”.
¿A qué es equivalente:
“Si no me gusta ese platillo, entonces lo preparó Gaston Acurio”?
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 14 / 33
La proposición condicional
Ejemplo
Escriba las proposiciones condicianales asociadas a:
1. Si suben los salarios, entonces suben los precios.
2. Cuba sigue enviando armas a Sudamérica ya que Argentina se moviliza.
3. José llegó antes de las diez si el reloj está adelantado.
4. Te regalaré un automóvil del año si gano la loterı́a.
5. La constitución queda como estaba siempre que la enmienda no sea aprobada.
6. La suma de dos números es par si los números son impares.
7. Si dos números son positivos, entonces su producto es positivo.
π
8. Si 0 ≤ x ≤ π y x 6= 2, entonces tan x está definida.
9. Si x ≥ 0, entonces |x| = x.
10. Si la función f es derivable en el punto “x0 ”, entonces es continua en x0 .
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 15 / 33
Principales Leyes lógicas
1. Leyes de idempotencia
? p∧p≡p
? p∨p≡p
2. Leyes conmutativas
? p∧q ≡q∧p
? p∨q ≡q∨p
? p ←→ q ≡ q ←→ p
3. Leyes asociativas
? (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
? (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
? (p −→ q) −→ r ≡ p −→ (q −→ r)
? (p M q) M r ≡ p M (q M r)
4. Leyes distributivas
? p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
? p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
? p ∧ (q M r) ≡ (p ∧ q) M (p ∧ r)
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 16 / 33
Principales Leyes lógicas
5. Leyes de complementación
? ∼ (∼ p) ≡ p doble negación
? ∼T ≡C o ∼V ≡F
? ∼C≡T o ∼F ≡V
6. Leyes de identidad
? p∧T ≡p o p∧V ≡p
? p∨C ≡p o p∨F ≡p
7. Leyes de Morgan
? ∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
? ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
8. Leyes de absorción
? p ∧ (p ∨ q) ≡ p
? p ∨ (p ∧ q) ≡ p
? p ∧ (∼ p ∨ q) ≡ p ∧ q
? p ∨ (∼ p ∧ q) ≡ p ∨ q
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 17 / 33
Principales Leyes lógicas
9. Leyes de contraposición
? p −→ q ≡ ∼ q −→∼ p
? p ←→ q ≡ ∼ p ←→∼ q
10. Ley de la condicional
p −→ q ≡ ∼ p ∨ q
11. Ley de la bicondicional
p ←→ q ≡ (p −→ q) ∧ (q −→ p)
≡ (∼ p ∨ q) ∧ (∼ q ∨ p)
≡ (p ∧ q) ∨ (∼ p ∧ ∼ q)
12. Además, se tienen las siguientes equivalencias
? C ∧p≡C o F ∧p≡F
? T ∨p≡T o V ∨p≡V
? p∨ ∼ p ≡ T o p∨ ∼ p ≡ V
? p∧ ∼ p ≡ C o p∧ ∼ p ≡ F
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 18 / 33
FUNCIONES PROPOSICIONALES
Una funcion proposicional es una expresion que contiene variable(s) que al ser sustituidas por valores especificos
dan origen a una proposición.
F p(x) es una función proposicional de una variable.
F p(x, y) es una función proposicional de dos variables.
F p(x) : x es un número entero.
? Si x = 5, p(x) se convierte en una proposición verdadera.
? Si x = 12 , p(x) se convierte en una proposición falsa.
? p(x) es verdadera para algunos valores de x y falsa para otros.
F p(x) : 3x + 5 < 15.
? Si x = 2, p(x) se convierte en una proposición verdadera.
? Si x = 12, p(x) se convierte en una proposición falsa.
? Si x = , p(x) se convierte en una proposición verdadera.
? Si x = , p(x) se convierte en una proposición falsa.
F p(x, y) : 2x + y > 15
? Si x = 4 ∧ y = 8, p(x, y) se convierte en una proposición verdadera.
? Si x = 3 ∧ y = 2, p(x, y) se convierte en una proposición falsa.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 19 / 33
PROPOSICIONES CON EL CUANTIFICADOR UNIVERSAL
Cuantificador universal
El cuantificador universal para todo es utilizado para nombrar a todos los elementos de un conjunto que
satisfacen una propiedad.
La notación ∀ x significa para todo x.
La proposición con el cuantificador universal tiene la forma
∀ x ∈ A : p(x)
donde p(x) es una función proposicional.
? Una proposición con cuantificador universal ∀ x ∈ A : p(x) es verdadera si para cualquier valor de x
que pertenesca al conjunto A; p(x) se convierte en una proposición verdadera.
? Una proposición con cuantificador universal ∀ x ∈ A : p(x) es falsa si para algún valor de x que
pertenesca al conjunto A; p(x) se convierte en una proposición falsa.
∀ x ∈ R, x2 + 1 > 0.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 20 / 33
PROPOSICIONES CON EL CUANTIFICADOR EXISTENCIAL
Cuantificador existencial
El cuantificador existencial existe es utilizado para nombrar algún elemento de un conjunto que satisfacen una
propiedad.
La notación ∃ x significa existe un x.
La proposición con el cuantificador existencial tiene la forma
.
∃ x ∈ A p(x)
donde p(x) es una función proposicional.
? Una proposición con cuantificador existencial ∃ x ∈ A p(x) es verdadera si para algún valor de x que
pertenesca al conjunto A; p(x) se convierte en una proposición verdadera.
? Una proposición con cuantificador existencial ∃ x ∈ A p(x) es falsa si para cualquier valor de x que
pertenesca al conjunto A; p(x) se convierte en una proposición falsa.
∃ x ∈ R, x2 + 1 < 12.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 21 / 33
NEGACIÓN DE PROPOSICIONES CON CUANTIFICADORES
.
La negación de la proposición con cuantificador universal ∀ x ∈ A : p(x) es ∃ x ∈ A ∼ p(x).
.
En forma abreviada: ∼ ∀ x ∈ A : p(x) ≡ ∃ x ∈ A ∼ p(x).
.
La negación de la proposición con cuantificador existencial ∃ x ∈ A p(x) es ∀ x ∈ A : ∼ p(x).
.
En forma abreviada: ∼ ∃ x ∈ A p(x) ≡ ∀ x ∈ A : ∼ p(x).
Negaciones de algunas relaciones entre expresiones
? ∼ a = b ≡ a 6= b ? ∼ a≤b ≡ ab ≡ a>b
? ∼ a<b ≡ a≮b ≡ a≥b ? ∼ a≥b ≡ ab ≡ a<b
? ∼ a>b ≡ a≯b ≡ a≤b ? ∼ a∈B ≡ a∈
/B
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 22 / 33
Problemas de lógica proposicional
Problema 1
Escriba la negación de las siguientes proposiciones
a) Hoy es martes 6 de julio.
b) El 9 de julio Perú jugará por el tercer puesto.
c) La final de la Copa América es el domingo.
d) 3 es un número impar.
e) La nueva ley no fue aprobada.
f) sen 45o = cos 45o .
g) El ángulo recto mide 90o .
h) x es menor que 5.
i) x = 15.
j) 3x > 15.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 23 / 33
Problemas de lógica proposicional
negación de proposiciones compuestas
? ∼ (∼ p) ≡ p ? ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
? ∼ (p ∧ q) ≡ ∼ p ∨ ∼ q ? ∼ (p → q) ≡ p ∧ ∼ q
Problema 2
Escriba la negación de las siguientes proposiciones
a) Hoy es sábado y jugaremos un partido.
b) Hoy es feriado o se faltó el profesor.
c) 2 es primo y 2 es par.
d) 3 es un número impar y 32 es impar.
e) Copiamos la clase o tomamos fotos.
f) Si x es entero, entonces 2x es par.
g) Si x < 0, entonces 3x < 0.
h) Si x2 > 0, entonces x 6= 0.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 24 / 33
Problemas de lógica proposicional
Problema 3
Escriba la recı́proca y contraria de las siguientes proposiciones.
a) Si hoy es sábado, entonces jugaremos un partido.
b) Si hoy es feriado, entonces no hay clases.
c) Si x es primo, entonces x + 1 es par.
π
d) Si 0 < x < 2, entonces cot x > 0.
e) Si copiamos la clase, entonces no tomamos fotos.
f) Si x es entero, entonces 2x es par.
g) Si x < 0, entonces 3x < 0.
h) Si x2 > 0, entonces x 6= 0.
P
i) Si an converge, lı́m an = 0.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 25 / 33
Problemas de lógica proposicional
Problema 4
Simplifique las siguientes proposiciones:
a) (∼ p∧ ∼ q) ∨ (p ∧ q) ∨ (∼ q ∧ p)
b) (p −→ q) ∧ p∧ ∼ (q∨ ∼ p)
c) ∼ (p ←→ q) ∨ (q ←→ p)
d) ∼ q ∧ ((p −→ q) ←→∼ p)
e) ∼ (∼ p ∨ q) ∧ (p −→ q)
f) ∼ q ∧ q ∨ (q∧ ∼ p) ∨ (∼ q ∨ p)
g) [(∼ q −→∼ p) −→ (q∨ ∼ p)]∧ ∼ (p ∧ q)
h) [(q∧ ∼ p) −→ (r∧ ∼ r)]∧ ∼ q.
i) p ∨ [p ∧ (p ∨ q)]
j) p ∨ q ∨ (∼ p∧ ∼ q ∧ r)
k) [(∼ p∨ ∼ q) −→ (p ∧ q ∧ r)]
l) ∼ (p ∨ q)∧ ∼ [(∼ p ∧ q)∨ ∼ q]
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 26 / 33
Problemas de lógica proposicional
Problema 5
Supongamos que
? p: 7 < 9,
? q: El Sol es un astro frı́o y
? r: La temperatura está por debajo de cero.
Escriba las proposiciones indicadas.
a. p∨q g. (p ∧ q) ←→ r
b. p∧q h. ∼ (p ∨ r) Y q
c. ∼ p −→ q
i. (p ∨ q) −→ r
d. p −→∼ q
e. (r ∧ p) −→ q j. (p ∧ q) ∧ (q ∧ r)
f. (p ∨ q) −→ r k. ∼ q ←→ r
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 27 / 33
Problemas de lógica proposicional
Problema 6
Considere la proposición:
[(∼ p ∧ q) ∨ (p ∨ r)] −→ [(p∨ ∼ q) ∨ (p∨ ∼ r)]
e indique cuál es el valor de verdad de esta proposición para cada uno de los casos dados.
a. p es falso, q es falso, r es falso.
b. p es falso, q es falso, r es verdadero.
c. p es verdadero, q es falso, r es verdadero.
d. p es verdadero, q es verdadero, r es falso.
e. p es verdadero, q es verdadero, r es verdadero.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 28 / 33
Problemas de lógica proposicional
Problema 7
Si las proposiciones: p ∧ s; p −→ (q ∨ r); s −→∼ r son todas verdaderas, halle el valor de la verdad de p, q, s, r.
Problema 8
Si las proposiciones: p ←→ q es F ; t −→ s es F ; ∼ p ∧ r es V , halle el valor de la verdad o falsedad de p, q, s,
r, t.
Problema 9
Si la proposición compuesta
(p ∧ q) −→ (r ∨ t)
es falsa, halle las proposiciones que son falsas.
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 29 / 33
Problemas de lógica proposicional
Problema 10
Si las proposiciones: p ∧ s, p −→ (q ∨ r) y s −→∼ r son todas verdaderas ¿Cuáles son los valores de verdad o
falsedad? de las siguientes proposiciones.
a. (r∨ ∼ p) −→∼ q
b. (r −→ p) ∧ (q −→ r)
Problema 11
La proposición ∼ (p −→ q) ∧ (q −→∼ r) ¿Es equivalente a cuál o (cuáles) de las proposiciones siguientes?
a. p ∧ (p∨ ∼ r)∧ ∼ q
b. (p∧ ∼ q) ∧ [∼ (q ∧ r)]
c. (p∧ ∼ q) ∨ (p∧ ∼ r)∧ ∼ q
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 30 / 33
Problemas de lógica proposicional
Problema 12
Determine la tabla de la verdad de las siguientes proposiciones:
a. (p∧ ∼ q) ∨ (∼ p ∨ p)
b. (p ∧ q) ∨ [(q∨ ∼ r) −→ p]
c. [(r ∨ s) ∧ (w −→∼ r) ∧ (∼ h −→ s)] −→ (w ∨ h)
Problema 13
¿Algunas de las proposiciones es tautologı́a?
a. ∼ [∼ (p ∨ q) ∧ (p∨ ∼ p)] −→∼ q ←→ (p −→ q)
b. ∼ (∼ p ←→ q) ←→ (p ←→ q)
c. ∼ {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]} ←→ (∼ p ∨ p).
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 31 / 33
Problemas de lógica proposicional
Problema 14
Clasifique cada una de las proposiciones dadas como una contingencia, como una tautologı́a o como una
contradicción, según corresponda.
a. p∨ ∼ (p ∧ q)
b. (p ∧ q)∧ ∼ (p ∨ q)
c. (p ∧ q) ∨ (p ∨ q)
d. [p ∧ (q ∨ r)] ∧ [q ∧ (p ∨ r)]
e. (p −→ q) ←→ (∼ q −→∼ p)
f. (p ←→ q) ←→ [(p −→ q) ∧ (q −→ p)]
g. p ∨ (q ∧ r) ←→ [(p ∨ q) ∧ (p ∨ r)]
h. (p ∧ q)∧ ∼ (p ∨ r)
i. [(p ←→ q) ∨ (p −→ r)] −→ (q ∧ p)
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 32 / 33
Problemas de lógica proposicional
Problema 15
Indique si el par de proposiciones dadas en cada caso es un par de proposiciones lógicamente equivalentes.
a. P ≡ [(p −→ q) ∧ (r ∧ s)], Q ≡ [(p ∨ r) −→ (q ∨ s)]
b. P ≡ p −→ q, Q ≡∼ (p∧ ∼ q) −→ r
c. P ≡ p ∧ q, Q ≡∼ (∼ p∨ ∼ q)
d. P ≡ (p −→ q) ∨ (p −→ r), Q ≡ p −→ (q ∨ r)
e. P ≡ (p −→ q) ∧ (r −→ s), Q ≡ (∼ q∨ ∼ s) −→ (∼ p∨ ∼ r)
Por: SUÁREZ AZPUR, Fredy R. () LÓGICA PROPOSICIONAL 15 de julio de 2022 33 / 33