Funciones proposicionales y

Cuantificadores

Dr. Rolando Vásquez Jaico

 CALCULO PROPOSICIONAL
Variables de Enunciado.

Toda variable de un enunciado p, puede ser sustituida por

cualquier valor del enunciado, siendo sus posibles estados,
verdadero o falso.
• 𝑝 𝑥 : 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟, 𝑥 ∈ ℤ

𝒑 −𝟐 : −𝟐 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 −−− − 𝑭

𝒑 𝟑 : 𝟑 𝒆𝒔 𝒊𝒎𝒑𝒂𝒓 −−− −𝑽
• 𝒒 𝒙; 𝒚 : 𝒙𝟐 + 𝒚𝟐 < 𝟒, (𝒙; 𝒚) ∈ ℝ𝟐
𝒒 𝟏; −𝟏 : 𝟏𝟐 + (−𝟏)𝟐 < 𝟒 ∈ ℝ𝟐 -------V

𝒒 𝟐; −𝟐 : 𝟐𝟐 + (−𝟐)𝟐 < 𝟒 ∈ ℝ𝟐 -------F

2
 Ejemplo

Variable de un enunciado

a) 𝑝 𝑥 : 𝑥 𝑒𝑠 𝑢𝑛 𝑒𝑛𝑡𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜 𝑝𝑎𝑟

b) 𝑞 𝑥; 𝑦 : 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑜𝑟 𝑑𝑒 𝑦; 𝑥, 𝑦 ∈ ℤ

c) 𝑟 𝑥 : 𝑥 + 2 ≤ 5, 𝑥 ∈ ℤ

3
Ejemplos
1) 𝑥 + 1 = 5

x=4 Todo valor de 𝑥 ≠ 4.

V F

2) 𝑥 2 − 5𝑥 + 6 = 0
𝑥 2 − 5𝑥 + 6 = 0
(x-2)٧(x-3)=0
x = 2 ٧ x=3 Otro valor de x.

V F
Ejemplos
3) 𝑥 2 = 25 ∧ 𝑥 + 1 = 6

𝑥 2 = 25 ∧ 𝑥+1=6
𝑥 = ± 25
𝑥 = −5 ∨ 𝑥 = 5 ∧ 𝑥=5

{5}

𝑥 2 = 25 ∧ 𝑥 + 1 = 6

Otro valor de x.
x=5
V F
 FUNCIONES
PROPOSICIONALES
• Gustavo es
médico.
• Álvaro es médico.
• Enrique es médico.

Propiedad común
"ser médico”
"x es médico"

La expresión "x es médico" no puede considerarse como

una proposición puesto que no es ni verdadera ni falsa.
 “x es médico”
• x es una variable que toma valores dentro de un conjunto,
llamado conjunto de referencia. Expresiones de esta forma,
dadas en términos de una o varias variables, reciben el
nombre de funciones proposicionales.

Cuando en una función proposicional se

sustituyen las variables por constantes
individuales o términos específicos, se
convierte en proposición.

Ejemplo: José es médico

 FUNCIONES
FUNCIONES PROPOSICIONALES
PROPOSICIONALES
Una proposición abierta (o función proposicional) es una expresión que contiene una o

más variables y que al ser sustituidas dichas variables por un valor específico, hace que

la función se convierta en una proposición con valores de verdad (V o F).

p(x);

q(x; y; z; …).

• Conjunto Universal: es el conjunto que contiene todos los elementos considerados

en un estudio determinado.

• El conjunto que consiste de los elementos que pueden reemplazar a la variable de

una proposición abierta, lo llamaremos el dominio de la variable.

• El conjunto formado por aquellos elementos del dominio de la variable que

hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto

solución de la proposición abierta p(x).

 FUNCIONES PROPOSICIONALES Y
PROPOSICIONES LÓGICAS
p(x) llamada función proposicional se convierte en proposiciones
lógicas cuando la variable x toma algún valor particular.
p( x ) : x +1 = 2

1) Se le puede asignar un valor de verdadero o de falso

x=1 p( x ) : x +1 = 2 p (1) = 1 + 1 = 2 (V )

x=5 𝑝 𝑥 : 𝑥+1=2 p (5) = 5 + 1 = 2 ( F )

2) Se le puede anteponer un cuantificador

(∃𝑥𝜀𝑅)/(𝑥 + 1 = 2) (∀𝑥𝜀𝑅)/(𝑥 + 1 = 2)
9
 Ejemplos de funciones proposicionales

Ejemplo 1.
𝑝 𝑥 : 2𝑥 − 10 < −2, 𝑥 ∈ ℤ
Determinar el valor de p(1), p(4)y p(11)
Solución:
p(1)……..V
p(4)……..F
p(11)……F

También se puede hacer uso de

cuantificadores.
 FUNCIONES PROPOSICIONALES

Ejemplo 2.
p(x) es un numero entero,
q(x) es divisor de 30 y
r(x) es primo.
Evaluar: 𝑝(4) ∧ 𝑞(18) ⇔ 𝑟(19)

DETERMINAMOS EL VALOR DE VERDAD

p(4) es un número entero --------V
q(18) es divisor de 30 -------------F
r(19) es primo -----------------------V
𝑉∧𝐹 ⇔𝑉
𝐹⇔𝑉
𝐹
 FUNCIONES PROPOSICIONALES

Ejemplo 3.
p(x) es un numero racional,
q(x) es divisor de 70 y
r(x) es múltiplo de 6.
Evaluar: r(74) ⇒ 𝑝( 2) ⇔ 𝑞(15)

DETERMINAMOS EL VALOR DE VERDAD

p( 2)es un número racional -----V
q(15) es divisor de 70 -------------F
r(74) es múltiplo de 6 --------------F
𝐹⇒𝑉⇔𝐹
𝑉⇔𝐹
𝐹
 Cuantificadores
Son expresiones “para todo” o “algunos” que se
anteponen a un enunciado abierto para convertirlo
en proposición . Estas proposiciones indican dos
opciones:
– Todos los elementos.
– Algunos elementos.
Ejemplos:
– Todas las flores son bellas.
– Algunos números enteros son primos.
A partir de la cuantificación, también se pueden
crear proposiciones desde una función
proposicional.
 Clases de cuantificadores

Cuantificador universal (∀).

Es una generalización de la conjunción. Por ello es verdadero cuando
todos los valores de “x” que pertenece al dominio de A son verdadero.
Se denota: ∀𝑥 /𝑝 𝑥
Se lee: “para todo x”, “para cada x”, “todos (as) las x”, “todo (a) x”,
etc.
Cuantificador Existencial (Ǝ).
Es una generalización de la disyunción inclusiva. Por ello, es
verdadero cuando al menos un valor de “x” perteneciente al dominio
de A, es verdadero.
Se denota: ∃𝑥/ 𝑝(𝑥)
Se lee: “existe al menos un x”, “algunos x”, “hay x”, “existe un x”,
etc.
 Cuantificador universal
Todo hombre es mortal ∀
Para todo x, si x es hombre entonces x es mortal.

Todo x
Cualquier x
Cada x

Cuantificador existencial
Algunos hombres son sabios. Ǝ
Existe un x, tal que x es hombre y x es sabio.
Hay x
Existe x, tal que
Algún x
Algunos x
 Ejemplos de cuantificadores

Determinar el valor de verdad de las siguientes expresiones,

considerando el universo los números enteros:
1. ∀𝑥 ∈ ℤ, : 𝑥 < 𝑥 + 1
La expresión p 𝑥 : 𝑥 < 𝑥 + 1 es una proposición verdadera si
sustituimos x por cualquier número entero. Luego la proposición
cuantificada ∀𝑥: 𝑥 < 𝑥 + 1 es verdadera.
2. ∀ 𝑥 ∈ ℤ: 𝑥 = 5
Esta proposición dice que “todos los números enteros son iguales a
5”.
p 𝑥 : 𝑥 = 5 es una expresión falsa, por ejemplo para x=. Luego la
proposición cuantificada ∀𝑥: 𝑥 = 5 es falsa.
Determinar el valor de verdad de
∀𝑥 ∈ ℤ, : 𝑥 < 𝑥 + 1 --------
∀ 𝑥 ∈ ℤ: 𝑥 = 5 --------------
 Ejemplos de cuantificadores

• Determinar el valor de verdad de las siguientes afirmaciones,

considerando el universo los números enteros:
1. ∃𝑥: 𝑥 < 𝑥 + 1
La expresión es “existe, al menos, un entero que es menor que el siguiente”.
p 𝑥 : 𝑥 < 𝑥 + 1 es verdadera para cualquier número entero, luego la
proposición cuantificada∃𝑥: 𝑥 < 𝑥 + 1 es verdadera.
2. ∃ 𝑥: 𝑥 = 5
Esta proposición dice que “existe, al menos, un entero igual a 5”.
p 𝑥 : 𝑥 = 5 es una expresión verdadera cuando x toma el valor de 5, luego la
proposición cuantificada ∃ 𝑥: 𝑥 = 5 es verdad.
3. ∃𝑥: 𝑥 = 𝑥 + 1
La expresión es “existe, al menos, un entero que es igual al siguiente”.
p 𝑥 : 𝑥 = 𝑥 + 1 es falsa para cualquier número entero, luego la proposición
cuantificada ∃𝑥: 𝑥 = 𝑥 + 1 es falsa.
 Cuantificadores

CUANTIFICADOR VALOR DE VERDAD

VERDAD FALSO

∀𝑥: 𝑝(𝑥) p(x) es verdad para cada x p(x) es falsa para, al menos, un x.

∃𝑥: 𝑝(𝑥) p(x) es verdad para, al menos, un x. p(x) es falsa para todos los valores de x.

• Considerando el universo igual los números enteros, determinar el

valor de verdad de las siguientes proposiciones:
a) ∀𝑥 [∃𝑦: 𝑥𝑦 = 0]
La proposición ∃𝑦: 𝑥𝑦 = 0 es verdad para cualquier entero x, bastaría tomar y=0. Por tanto,
∀𝑥 [∃𝑦: 𝑥𝑦 = 0] es una proposición verdadera.
b) ∃𝑦: [∀𝑥, 𝑥𝑦 = 1]
Falsa
c) ∃y: [∀𝑥, 𝑥𝑦 = 0]
Verdadera
 Ejemplo 1

∀ 𝑥, 𝑃 𝑥 es verdadera si para cada x en el universo P(x) es cierta

∃ 𝑥, 𝑃 𝑥 es verdadera si hay algún x en el universo para el que P(x) es
cierta. Basta un solo valor.
∀ 𝑥, 𝑃 𝑥 es falsa si hay un valor de x en el universo para el que P(x)
es falsa. Basta un solo valor.
∃ 𝑥, 𝑃 𝑥 es falsa si para cada x en el universo es falsa.
Ejemplo 2.
La expresión x+1=2, se puede enunciar de
las siguientes formas:
• Existe x = 1 tal que x + 1 = 2. Proposición
verdadera
• Para todo x ≠ 1, se tiene que x + 1 = 2. Proposición
falsa.
Todos los valores de x diferentes de 1 hacen la
proposición falsa.
 Ejemplo 3.
a) ∀𝑥 ∈ ℕ: 𝑥 ≥ 0 ------ V
∃𝑥 ∈ ℕ: 𝑥 < 0 ------ F

b) Sea A={1; 2; 3; 4; 5;6 }. Determinar el valor de

verdad de cada uno de los enunciados siguientes:
• ∃𝑥 ∈ 𝐴, 𝑥 + 3 = 10 ------- F
• ∀𝑥 ∈ 𝐴: 𝑥 + 3 < 10 ------ V
Ejemplo 4
a) 𝑥 2 = 1 ⟺ 𝑥 − 1 𝑥 + 1 = 0, ∀𝑥 ∈ 𝑅
∀ se lee para todo y se llama cuantificador universal.

b) U={1;2;3;4}
Existe en U un elemento cuyo cuadrado es cuatro.
∃𝑥 ∈ 𝑈: 𝑥 2 = 4

c) Si U={1;2;3;4}, determinar el valor veritativo de:

(∃𝑥 ∈ 𝑈)(∀𝑦 ∈ 𝑈)/(𝑥 ≥ 𝑦)
Ejemplo 5.
∀𝒙 ∈ ℝ / x + 4 = 4 + x
Significa que todo x verifica la ecuación.
Ǝ𝒙 ∈ ℝ / 2x+2=5.
Significa que algún x verifica la ecuación.
Ejemplo 6
∀𝑥𝜀ℝ/2𝑥 − 1 = 0
En esta proposición el conjunto universal esta formado por
1
los números reales y el conjunto solución es 𝑥 = .
2
– El ejemplo afirma que todo número real verifica 2𝑥 − 1 = 0, lo
cual es falso.
Si se cambia el conjunto universal, por el conjunto { 1/2 },
la proposición se convierte en verdadera y se enuncia así:
1
∀𝑥𝜀 /2𝑥 − 1 = 0 es verdadera.
2
Lo anterior conduce a la siguiente afirmación:
– Una proposición que contiene un cuantificador universal es
verdadera sí y sólo sí el dominio de la variable es igual al
conjunto universal.
 Cuantificador universal y existencial

Ejemplo 7
∃𝑥𝜀𝑅/𝑥 2 + 1 = 0
El conjunto universal está formado por los números
reales, pero el dominio de la variable es el conjunto
vacío, no hay un número real que al elevarlo al
cuadrado y sumarle 1 de cómo resultado cero, esto
hace que la proposición sea falsa.
Una proposición con un cuantificador existencial es
verdadera si y sólo si el dominio de la variable no es
vacío.
Cuantificador universal y existencial

• Ejemplo 8: dado los conjuntos

𝐴 = 0,1,2,3, ⋯ = 𝑁 𝐵 = 3,6,9, ⋯

y las funciones proposicionales

p(x): x es un número natural par
q(x): x es un número negativo
r(x): x es un múltiplo de 3.
Se tienen la siguientes proposiciones.

∃ 𝑥 ∈ 𝐴/𝑝(𝑥)
∃ 𝑥 ∈ 𝐴/𝑝(𝑥)
¿Cuáles son
∀ 𝑥 ∈ 𝐵, 𝑟(𝑥)
verdaderas? ∀ 𝑥 ∈ 𝐵, 𝑟(𝑥)
∀ 𝑥 ∈ 𝐵, 𝑝(𝑥)

26
convertir una función proposicional
en una proposición
• Existen dos formas de convertir una función
proposicional p(x) en una proposición:
– Haciendo la sustitución de las variables por un elemento
específico.
– Anteponiendo cuantificadores ( cuantificador universal o
cuantificador existencial.

1. P 𝑛 : 𝑛 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑝𝑟𝑖𝑚𝑜
a) 𝑃 7 : 𝑛 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜
b) 𝑃 𝑛 : ∃𝑛, 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜
2. 𝑃 𝑥; 𝑦 : 𝑥 , 𝑦 ∈ 𝑅 / 𝑥 + 𝑦 = 0
a) P(2,3)
b) 𝑃 𝑥; 𝑦 : ∀𝑥, 𝑦 ∈ 𝑅 / 𝑥 + 𝑦 = 0
c) 𝑅(𝑥): 𝑥 ∈ 𝑁 / 𝑥 2 < 17
a) 𝑅(1): 1 ∈ 𝑁 / 12 < 17
b) 𝑅(𝑥): ∃𝑥 ∈ 𝑁 / 𝑥 2 < 17
 NEGACIONES DE PROPOSICIONES CON
CUANTIFICADORES.

La regla general para construir la negación de una forma proposicional

es la siguiente:
Los ∀ se cambian por ∃ y los ∃ se cambian por ∀ y después se niega
la forma proposicional.
La negación de la forma se construye mecánicamente del mismo modo
como se realiza la negación de una proposición.
Negar el hecho de que existe algún elemento x de A tal que p(x) se
cumple, equivale a afirmar que ningún elemento x de A satisface la
condición p(x).

x  A / p ( x)  x  A / p ( x)

Análogamente,

x  A, p( x)  x  A / p( x)
 NEGACIÓN DE LOS CUANTIFICADORES

Se realiza negando la proposición p(x) y cambiando el cuantificador

universal por el cuantificador existencial, o viceversa.
• ¬ ∀𝑥, 𝑝 𝑥 ≡ ∃𝑥, ¬𝑝 𝑥 ; ∀𝑥, 𝑝 𝑥 ≡ ∃𝑥, 𝑝 𝑥
• ¬ ∃𝑥, 𝑝 𝑥 ≡ ∀𝑥, ¬𝑝 𝑥 ; ∃𝑥, 𝑝 𝑥 ≡ ∀𝑥, 𝑝 𝑥
Ejemplo:
Simboliza y niega las siguientes proposiciones:
1) Todos los números enteros son pares
Sea D = ℤ y función proposicional p(x): x es un número par.
Simbólicamente:∀𝑥 ∈ ℤ, 𝑝(𝑥)
Negamos: ∀𝑥 ∈ ℤ, 𝑝(𝑥) ≡ ∃𝑥 ∈ ℤ, 𝑝(𝑥)

Interpretación: Existe al menos un número entero que no es par.

 Ejemplo 1
Dado el conjunto Z + = 1,2,3, 
Indicar el valor de las siguientes proposiciones y negarlas:

Proposición Negación

x  Z + , x 2 − 6 x + 5 = 0  xZ+, x 2 − 6x + 5 = 0   x  Z + , x 2 − 6x + 5 = 0

  xZ+ / x 2 − 6x + 5  0

F
V
30
 Ejemplo 2

Proposición

x  Z + , x 2 − 6 x + 5 = 0 V

Negación

 x  Z + , x2 − 6x + 5 = 0   x  Z + , x2 − 6x + 5 = 0

  xZ+ / x 2 − 6x + 5  0 F

31
 Ejemplo 3

∀ 𝑥, 𝑃 𝑥 es verdadera si para cada x en el universo P(x) es cierta

∃ 𝑥, 𝑃 𝑥 es verdadera si hay algún x en el universo para el que P(x) es
cierta. Basta un solo valor.
∀ 𝑥, 𝑃 𝑥 es falsa si hay un valor de x en el universo para el que P(x)
es falsa. Basta un solo valor.
∃ 𝑥, 𝑃 𝑥 es falsa si para cada x en el universo es falsa.
 Ejemplo 4
Si 𝐴 = 1; 2; 3; 1; 3; 1 . Determinar el valor de
verdad de cada una de las siguientes
proposiciones e indicar su negación.

1. ∃ 𝑥 ∈ 𝐴 / ∃ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 < 12

2. ∀ 𝑥 ∈ 𝐴, ∀ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 < 12

3. ∀ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 < 12

4. ∃ 𝑥 ∈ 𝐴 / ∀ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 < 12
 Ejemplo 5

a) Sean 𝐴 = 2; 3; 8 y 𝐵 = {1; 4; 7} , determinar los elementos de los

siguientes conjuntos.
𝐶 = {∃𝑥 ∈ 𝐴/ ∀𝑦 ∈ 𝐵, 𝑥 + 𝑦 ≥ 9}
𝐷 = {∀ 𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐵, 𝑥 + 2𝑦 < 23}

b) Sean 𝐴 = 2; 3; 8 y 𝐵 = {1; 4; 7}, determinar el valor de verdad de las

siguientes proposiciones.
𝑝: ∀ 𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐵, 𝑥 + 𝑦 ≥ 9
𝑞: ∃ 𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐵, 𝑥 + 2𝑦 < 23
Gracias
Ejercicios Nº 4
1) Dadas las proposiciones:
𝑝: ¬{∀𝑥 ∈ ℚ, 𝑥 + 2 > 0}
𝑞: ∃𝑥 ∈ ℕ, 3𝑥 = 9
𝑥
𝑟: ∀𝑥 ∈ ℤ, = 1
𝑥
Hallar el valor de verdad y negar: ¬(𝑝 ∨ 𝑞) → 𝑟

2) Indicar el valor de verdad y negar las siguientes proposiciones para el conjunto

𝐴 = 1; 2; 3; 4; 5; 6 :
a) ∀ 𝑥 ∈ 𝐴, ∀ 𝑦 ∈, 𝑥 2 + 3𝑦 ≥ 12
b) ∀ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 ≥ 12
c) ∃ 𝑥 ∈ 𝐴 , ∀ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 ≥ 12
d) ∃ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐴, 𝑥 2 + 3𝑦 ≥ 12

3) Sean 𝐴 = 2,3,8 y 𝐵 = 1,2,7 , ¿cuáles de las siguientes proposiciones son

verdaderas?. Negar dichas proposiciones:
– ∃𝑥 ∈ A / ∀𝑦 ∈ 𝐵, 𝑥 + 𝑦 > 9
– ∀ 𝑥 ∈ 𝐴, ∀𝑦 ∈ 𝐵, 𝑥 + 2𝑦 < 23
4) Si 𝑈 = {1; 2; 3; 4; 5; 6} el conjunto universal. Hallar el valor de verdad y negar las siguientes
proposiciones:
a) ∀ 𝑥 ∈ 𝑈: 𝑥 ≥ 3 ∨ 𝑥 < 4
b) ∃ x ∈ 𝑈: x + 2 < 8 → 𝑥 > 6
c) ∀ 𝑥 ∈ 𝑈: x + 2 = 5 ↔ 𝑥 − 1 = 2
5) Sea 𝐴 = {1; 2; 3; 4; 5}
Hallar el valor de verdad y negar las siguientes proposiciones:
a) ∃𝑥 ∈ 𝐴 /𝑥 + 3 = 10
b) ∀𝑥 ∈ 𝐴/𝑥 + 3 < 10
c) ∃𝑥 ∈ 𝐴/𝑥 + 3 < 5
d) ∀𝑥 ∈ 𝐴/𝑥 + 3 ≤ 7
e) ∃𝑥 ∈ 𝐴/𝑥 2 − 3𝑥 + 2 = 0
6) Sea 𝐴 = {1; 2; 3; 4} el conjunto universal. Determinar el valor de verdad y negar cada
proposición:
a) ∀𝑥: 𝑥 + 3 < 6
b) ∃𝑥: 2𝑥 2 + 𝑥 = 15
c) ∀𝑥: 𝑥 2 − 10 ≤ 18
d) ∃𝑥: 𝑥 2 > 1 ⇒ 𝑥 + 2 = 0
7) Sea 𝑈 = {1; 2; 3; 4; 5} el conjunto universal. Hallar el valor de verdad y negar las
siguientes proposiciones :
a) ∃𝑥 ∈ 𝑈, ∀ y ∈ 𝑈: 𝑥 2 < 𝑦 + 1
b) ∀ 𝑥 ∈ 𝑈, ∃ y ∈ 𝑈: 𝑥 2 + 𝑦 2 < 12
c) ∀ 𝑥 ∈ 𝑈, ∀ y ∈ 𝑈: 𝑥 2 + 𝑦 2 < 12
d) ∃ 𝑥 ∈ 𝑈, ∃ y ∈ 𝑈: 𝑥 2 + 𝑦 2 < 12
 1 𝑠𝑖 𝑝 𝑒𝑠 𝑉
8) Se tiene que F 𝑝 = ቊ calcular el valor de 𝐹 𝑐 + 𝐹 𝑏 − 𝐹(𝑎) y su
2 𝑠𝑖 𝑝 𝑒𝑠 𝐹
negación, donde
a) 𝑎 ≡ [𝑞 ↔ (𝑝 ∧ 𝑞)] ↔ (𝑞 ∧ ¬𝑝)
b) 𝑏 ≡ 𝑟 ∧ ¬𝑝 ∧ 𝑝 ∧ 𝑞 → 𝑟
c) 𝑐 ≡ ¬𝑞 → (¬𝑝 ∨ ¬𝑞)
9) Si el valor de verdad de la proposición
{ ¬𝑝 ∨ ¬𝑞 → ¬ 𝑝 ∧ 𝑞 ∧ ¬𝑝 → 𝑝 ∧ 𝑞 }∆𝑞
es falsa, halle el valor de verdad y su negación para cada una de las
siguientes proposiciones en el orden indicado:
a) 𝑞∆𝑝
b) 𝑝 → 𝑞 ∧ 𝑞 → 𝑝
c) ¬𝑝 ∨ 𝑞
10) Si 𝑝 𝑥 : 𝑥 2 = 16, 𝑞 𝑥 : 𝑥 − 3 = 8 𝑦 𝑟 𝑥 : 𝑥 + 4 < 9; determínese el valor
de verdad de las siguientes proposiciones y de su negación:
a) 𝑝 −4 → [¬𝑞(2) ∨ ¬𝑟(3)]
b) [r 2 ∧ ¬𝑝(2)] → 𝑟(1)
c) [𝑞 3 ↔ 𝑝 4 ] ↔ [𝑟(6) ∧ ¬𝑝(2)]