MATEMATICAS DISCRETA

DOCENTE: JOSE EMANUEL CASTELLANOS

TEMA: CUANTIFICADORES

Negación de los cuantificadores (página 16 del Libro de Susana Granado Peralta)

~(∀x: p(x)) ≡ (∃x: ~p(x))

~(∃x: p(x)) ≡ (∀x: ~p(x))

Antes de entrar en la negación de los cuantificadores universal y existencial, repasaremos ejemplos

de predicados con cuantificadores universales y existenciales.

Ejemplo: Sea 𝐴 = {1,2,3,4,5} hallar el valor de verdad de:

a) (∃𝑥 ∈ 𝐴: 𝑥 + 3 = 10)

Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:

1 + 3 ≠ 10
2 + 3 ≠ 10
3 + 3 ≠ 10
4 + 3 ≠ 10
5 + 3 ≠ 10

Recordemos que el cuantificador existencial es verdadero tan solo para un elemento del dominio,
pero observamos que no se cumple, por lo tanto valor de verdad es FALSO.

b) (∀𝑥 ∈ 𝐴: 𝑥 + 3 < 10)

Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:

1 + 3 < 10
2 + 3 < 10
3 + 3 < 10
4 + 3 < 10
5 + 3 < 10

Recordemos que el cuantificador universal es verdadero para todos los elementos del dominio, pero
observamos que se cumple, por lo tanto valor de verdad es VERDADERO.

c) (∀𝑥 ∈ 𝐴: 𝑥 + 3 ≤ 4)

Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:

1+3≤4
2+3≤4
3+3≤4
4+3≤4
5+3≤4
 MATEMATICAS DISCRETA
DOCENTE: JOSE EMANUEL CASTELLANOS
Al observar los resultados anteriores, nos percatamos que solo en el primer caso es cierto, pero
como tenemos un cuantificador universal debe cumplirse con todos los elementos del dominio,
razón por lo cual su valor de verdad es FALSO.

d) (∃𝑥 ∈ 𝐴: 𝑥 + 3 ≤ 4)

Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:

1+3≤4
2+3≤4
3+3≤4
4+3≤4
5+3≤4

Como existe un elemento del dominio que hace cierta la proposición su valor de verdad es
VERDADERO ya que se utilizo un cuantificador existencial.

e) (∀𝑥 ∈ 𝐴: 𝑥 + 3 = 5)

Si probamos con todos los elementos del discurso universal o dominio tenemos lo siguiente:

1+3≠5
2+3=5
3+3≠5
4+3≠5
5+3≠5

Como estamos con un cuantificador universal podemos concluir que su valor de verdad es FALSO.

Ahora por otro lado, para hacer demostraciones con cuantificadores en muchas ocasiones
necesitaremos la negación de los cuantificadores universal o existencial.

Ejemplos: Negar los siguientes cuantificadores:

a) {∃𝑥: 𝑥 + 3 = 10}

Su negación seria: {∀𝑥: 𝑥 + 3 ≠ 10}

b) {∃𝑥: 𝑥 + 5 > 10}

Su negación seria: {∀𝑥: 𝑥 + 5 ≤ 10}

c) {∀𝑥: (𝑝(𝑥) ∧ 𝑞(𝑥)) → 𝑟(𝑥)}

Su negación seria: {∃𝑥: 𝑝(𝑥) ∧ 𝑞(𝑥) ∧ ~𝑟(𝑥)}

 MATEMATICAS DISCRETA
DOCENTE: JOSE EMANUEL CASTELLANOS
Ejemplo:

Dadas las siguientes proposiciones:

p: ~{∀x ∈ Q: x + 2 > 0}

q: {∃x ∈ N: 3x = 9}
x
r: {∀x ∈ Z: = 1}
x

Hallar el valor de verdad de (p ∧ q) → r

Solución:

Vemos que la primera proposición esta negada, entonces:

p: ~{∀x ∈ Q: x + 2 > 0}

p: ∃x ∈ Q: x + 2 ≤ 0

Probando para 𝑥 = −2

Entonces: −2 + 2 ≤ 0 El valor de verdad es VERDADERO

q: {∃x ∈ N: 3x = 9}

Probando para 𝑥 = 2

Entonces 32 = 9 El valor de verdad es VERDADERO

x
r: {∀x ∈ Z: = 1}
x

Probando para 𝑥 = 0
x
= 1 El valor de verdad es FALSO.
x

Entonces tenemos que: (𝐩 ∧ 𝐪) → 𝐫

p=V
q=V
r=F
Como sabemos que en una conjunción 𝐕 ∧ 𝐕 = 𝐕 entonces 𝐩 ∧ 𝐪 = 𝐕. Por otro lado tendríamos
que (𝐩 ∧ 𝐪) → 𝐫 seria falso ya que r =Falso y en una condicional sabemos que (𝐩 ∧ 𝐪) → 𝐫 seria
falso. Por tanto la respuesta es Falsa.