LÓGICA CUANTIFICACIONAL

FUNCIÓN ROPOSICIONAL: Es todo enunciado abierto P(x), el cual tiene la propiedad de

convertirse en una proposición al ser sustituido la variable “x” por una constante “a”
específica; al conjunto de valores convenidos para la variable “x” se denomina dominio de la
variable.
La función proposicional sobre D, es toda expresión P(x) donde P(a) es verdadero o falso para
todo a ϵ D.
Ejemplo:
𝑷(𝒙) = 𝒙 + 𝟏 < 𝟗, si x pertenece al conjunto de los enteros, entonces P(x) es una función
proposicional, cuyo domino es los enteros.
Si 𝒙 = −𝟐 ∈ 𝒁, −𝟐 + 𝟏 < 𝟗 es verdadero
𝒙 = 𝟏𝟎 ∈ 𝒁, 𝟏𝟎 + 𝟏 < 𝟗 es falso
Por lo tanto P(x) es una función proposicional.

CUANTIFICADOR EXISTENCIAL Y UNIVERSAL

Al método que permite donde a partir de una función proposicional P(x) obtener
proposiciones, se le llama cuantificadores.
Ejemplo: Sea la función proposicional P(x): X es un número primo.
 Si a la función proposicional le anteponemos “para todo x”, se obtiene; “para todo x, x
es un número primo”
La frase “para todo x” se denomina CUANTIFICADOR UNIVERSAL, se simboliza: ∀𝒙, se
lee “para todo x”.
En el ejemplo tenemos:
P(x): x es un número primo, es una función proposicional.
∀𝒙: x es un numero primo, es un proposición.
El cuantificador universal se denota, así:

 Si a la función proposicional le anteponemos “existe x, tal que”, se obtiene; “existe x,

tal que x es un número primo”
La frase “existe x” se denomina CUANTIFICADOR EXISTENCIAL, se simboliza: ∃𝒙, se lee
“existe x”
En el ejemplo tenemos:
P(x): x es un número primo, es una función proposicional.
∃𝒙: x es un numero primo, es un proposición.
El cuantificador existencial se denota, así:

Ejemplo: Sea el conjunto 𝐴 = {−2; −1; 2,3,4 }, se tiene:

∃𝑥 ∈ 𝐴: 𝑥 2 − 2𝑥 = 8
∃𝑥 ∈ 𝐴/𝑥 2 − 2𝑥 = 8
(∃𝑥 ∈ 𝐴)(𝑥 2 − 2𝑥 = 8)
NEGACIÓN DE PROPOSICIÓN CON CUANTIFICADORES:
PROPOSICIÓN NEGACIÓN
∀𝑥 ∶ 𝑃(𝑥) ~[∀𝑥 ∶ 𝑃(𝑥)] ≡ ∃𝑥 ∶ ~𝑃(𝑥)
∃𝑥 ∶ 𝑃(𝑥) ~[∃𝑥 ∶ 𝑃(𝑥)] ≡ ∀𝑥 ∶ ~𝑃(𝑥)
∀𝑥 ∈ 𝐴 ∶ 𝑃(𝑥) ~[∀𝑥 ∈ 𝐴 ∶ 𝑃(𝑥)] ≡ ∃𝑥 ∈ 𝐴 ∶ ~𝑃(𝑥)
∃𝑥 ∈ 𝐴 ∶ 𝑃(𝑥) ~[∃𝑥 ∈ 𝐴 ∶ 𝑃(𝑥)] ≡ ∀𝑥 ∈ 𝐴 ∶ ~𝑃(𝑥)

Ejemplo: Negar la proposición: ∀𝑥 ∈ 𝑁/𝑋 + 3 > 5

Solución:
~[∀𝑥 ∈ 𝑁/𝑥 + 3 > 5] = ∃𝑥 ∈ 𝑁/𝑥 + 3 ≤ 5

Ejemplos: Negar cada una de las proposiciones, si el conjunto de referencia es los números
reales R.
1. (∀𝑥)(∃𝑦)[𝑃(𝑥) → 𝑄(𝑦) → 𝑅(𝑥)]
2. (∀𝑥)(∃𝑦)(∃𝑧)[𝑃(𝑥, 𝑦) → 𝑄(𝑥)˄𝑅(𝑧)]
3. (∃𝑥)(∀𝑦)(∃𝑧)[~𝑃(𝑥) → 𝑄(𝑥))˅𝑅(𝑧)]
4. (∀𝑥)(∃𝑦)(∀𝑧)[~𝑅(𝑥)˅~𝑃(𝑦))˅~𝑄(𝑥)]

Ejercicios:
1. Determinarel valor de verdad de los siguientes enunciadosconsiderando como
universo los numeros reales.
a) {∀𝑥 ∈ 𝑅/𝑥 3 = 𝑥}
b) {∃𝑥 ∈ 𝑅/2𝑥 = 𝑥}
c) {∃𝑥 ∈ 𝑅/𝑥 2 + 3𝑥 − 2 = 0}
d) {∃𝑥 ∈ 𝑅/𝑥 2 − 2𝑥 + 5 = 0}
e) {∀𝑥 ∈ 𝑅/2𝑥 + 3𝑥 = 5𝑥}
f) {∃𝑥 ∈ 𝑅/2𝑥 2 + 𝑥 = 15}
g) {∀𝑥 ∈ 𝑅/𝑥 − 3 <= 𝑥}
h) {∀𝑥 ∈ 𝑅/𝑥 + 3 <= 6}
i) {∃𝑥 ∈ 𝑅/𝑥 + 3 ≤ 6}
j) {∀𝑥 ∈ 𝑅/𝑥 2 − 10 ≤ 8}

2. Evaluar: ~{~(𝑝˅~𝑞)} ↔ {~[(𝑟˅𝑝) → (𝑝˄~𝑝)]},

Sí: p:{∀𝑥 ∈ 𝑅/𝑥 0 = 1}; 𝑞: {∃𝑥 ∈ 𝑄/3𝑥 2 = 𝑥 − 5};
𝑟: {∃𝑥 ∈ 𝑍/𝑥 2 − 2𝑥 − 1 = −1, √4 = 𝑥}