Lógica Cuantificacional

LÓGICA CUANTIFICACIONAL
FUNCIÓN PROPOSICIONAL
Sea D el dominio de la función proposicional, que puede ser un conjunto específico de números, o conjunto de objetos,
o conjunto de proposiciones.
Sea E el rango de la proposición, que puede ser un conjunto específico, que puede ser conjunto de ecuaciones,
inecuaciones, de oraciones o frases, etc.
Una función proposicional es un enunciado abiero de la forma:
tal que 𝑝(𝑥) es un enunciado abierto, que tiene la proiedad de convertirse en una poposición si reemplazamos la variable
𝑥 por una constante específica 𝑐 o por alguna frase, es decir que 𝑝(𝑐) es una proposición, cuyo valor de verdad puede
ser 𝑉 o 𝐹, ∀ 𝑐 ∈ 𝐷. A partir de la función proposicional 𝑝(𝑥) podemos obtener proposiciones.
EJEMPLOS DE FUNCIONES PROPOSICIONALES
𝑝(𝑥 ): 𝑥 + 8 < 23 enunciado abierto, no sabemos si es V o F.
Pero, si 𝑝(−3) : − 3 + 8 < 23, proposición, cuyo valor de verdad es V.
Por lo tanto, 𝑝(𝑥 ) es una función proposicional.
𝑞(𝑥 ): 2𝑥 − 5 = 11, enunciado abierto, no sabemos si es V o F.
Pero, Si 𝑞 (−3) : − 6 − 5 ≠ 11, proposición, cuyo valor de verdad es F.
Por lo tanto, 𝑞 (𝑥 ) es una función proposicional.
𝑟(𝑥 ): 𝑥 es rojo enunciado abierto, no sabemos si es V o F.
Pero, si 𝑟(pantalón): el pantalón es rojo, proposición, cuyo valor de verdad es V.
Por lo tanto, 𝑟(𝑥 ) es una función proposicional.
CUANTIFICADOR UNIVERSAL Y EXISTENCIAL
Veremos un método que permite obtener otras proposiciones a partir de una función proposicional, que es el método
de los cuantificadores.
EJEMPLO: Sea la función proposicional 𝑝(𝑥 ): 𝑥 es un número par
A partir de esta función proposicional, podemos construir otra proposición, con el cuantificador para todo, es decir:
“Para todo 𝑥, 𝑥 es un número par”, con este cuantificador “para todo 𝑥” estamos indicando el sentido universal para la
función proposicional.
El cuantificador universal “para todo 𝑥”, se simboliza por ∀𝑥.
A partir de la función proposicional 𝑝(𝑥) se puede obtener la proposición universal por: ∀𝑥: 𝑝(𝑥) o ∀ 𝑥 ∕ 𝑝(𝑥).
En cualquiera de ellas se lee, “para todo 𝑥 tal que, se cumple 𝑝(𝑥)”.
PROPOSICIÓN UNIVERSAL ∀
Una proposición universal es aquella que esta provista de un cuantificador universal y tienen la forma: ∀𝑥 ∈ 𝐴: 𝑝(𝑥)
Se lee, “para todo 𝑥 ∈ 𝐴, se cumple 𝑝(𝑥)”, y el valor de verdad de una proposición universal puede ser V o F.
EJEMPLO: 𝐴 = {−3, 1, 2 ,3, 4}, construyendo la proposición ∀𝑥 ∈ 𝐴: 𝑥 ∈ ℕ , el valor de verdad es F, porque −3 ∉ ℕ.
EJEMPLO: 𝐴 = {−3, 1, 2 ,3, 4}, construyendo la proposición ∀𝑥 ∈ 𝐴: 𝑥 ∈ ℤ , el valor de verdad es V.

PROPOSICIÓN PARTICULARES O EXISTENCIALES ∃
Son aquellas que contienen el cuantificador existencial ∃ y tienen la forma: ∃𝑥 ∈ 𝐴: 𝑝(𝑥), se lee existe un o almenos
un 𝑥 ∈ 𝐴 tal que 𝑝(𝑥) se cumple, y el valor de verdad de una proposición existencial puede ser V o F.
EJEMPLO: 𝐴 = {−3, 1, 2 ,3, 4}, construyendo la proposición ∃𝑥 ∈ 𝐴: 2𝑥 − 3 < 5, el valor de verdad es V, porque, al
menos existen −3, 1, 2 𝑦 3 que se cumple la desigualdad.
Pero, ∀𝑥 ∈ 𝐴: 𝑥 ∈ 𝐴 , el valor de verdad es F, porque en 4 ∈ 𝐴, no se cumple la desigualdad.
PROPOSICIÓN EXISTENCIAL Y UNICIDAD ∃!
Son aquellas que contienen el cuantificador existencial y unicidad ∃ y tienen la forma: ∃! 𝑥 ∈ 𝐴: 𝑝(𝑥), se lee existe un
único 𝑥 ∈ 𝐴 tal que 𝑝(𝑥) se cumple, y el valor de verdad de una proposición de existencia y unicidad puede ser V o F.
NEGACIÓN DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES UNIVERSALES EXISTENCIALES Y DE EXISTENCIA

Y UNICIDAD
~[∀𝑥 ∈ 𝐴: 𝑝(𝑥)] ≡ ∃𝑥 ∈ 𝐴: ~𝑝(𝑥).
~[∃𝑥 ∈ 𝐴: 𝑝(𝑥)] ≡ ∀𝑥 ∈ 𝐴: ~𝑝(𝑥).
EJEMPLO: Escribir la proposición en el lenguaje simbólico y después negarla: “paratodo número real 𝑥, existe un número
entero 𝑦, tal que si 𝑥 < 𝑦, entonces 𝑥 2 < 𝑦 + 3”
Solución:
∀𝑥 ∈ ℝ ∃ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3
~[∀𝑥 ∈ ℝ ∃ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3] ≡ ∃𝑥 ∈ ℝ ∀ 𝑦 ∈ ℤ: ~(𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3)
~[∀𝑥 ∈ ℝ ∃ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3] ≡ ∃𝑥 ∈ ℝ ∀ 𝑦 ∈ ℤ: ~(~(𝑥 < 𝑦) ∨ 𝑥 2 < 𝑦 + 3)
~[∀𝑥 ∈ ℝ ∃ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3] ≡ ∃𝑥 ∈ ℝ ∀ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ∧ ~(𝑥 2 < 𝑦 + 3)
~[∀𝑥 ∈ ℝ ∃ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ⟹ 𝑥 2 < 𝑦 + 3] ≡ ∃𝑥 ∈ ℝ ∀ 𝑦 ∈ ℤ: 𝑥 < 𝑦 ∧ 𝑥 2 ≥ 𝑦 + 3 ∎

Lógica Cuantificacional

Cargado por

Copyright:

Formatos disponibles

Lógica Cuantificacional

Cargado por

Información del documento

Título original

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

Lógica Cuantificacional

Cargado por

Copyright:

Formatos disponibles

LÓGICA CUANTIFICACIONAL

Una función proposicional es un enunciado abiero de la forma:

EJEMPLOS DE FUNCIONES PROPOSICIONALES

𝑝(𝑥 ): 𝑥 + 8 < 23 enunciado abierto, no sabemos si es V o F.

Pero, si 𝑝(−3) : − 3 + 8 < 23, proposición, cuyo valor de verdad es V.

Por lo tanto, 𝑝(𝑥 ) es una función proposicional.

𝑞(𝑥 ): 2𝑥 − 5 = 11, enunciado abierto, no sabemos si es V o F.

Pero, Si 𝑞 (−3) : − 6 − 5 ≠ 11, proposición, cuyo valor de verdad es F.

Por lo tanto, 𝑞 (𝑥 ) es una función proposicional.

𝑟(𝑥 ): 𝑥 es rojo enunciado abierto, no sabemos si es V o F.

Pero, si 𝑟(pantalón): el pantalón es rojo, proposición, cuyo valor de verdad es V.

Por lo tanto, 𝑟(𝑥 ) es una función proposicional.

CUANTIFICADOR UNIVERSAL Y EXISTENCIAL

EJEMPLO: Sea la función proposicional 𝑝(𝑥 ): 𝑥 es un número par

El cuantificador universal “para todo 𝑥”, se simboliza por ∀𝑥.

En cualquiera de ellas se lee, “para todo 𝑥 tal que, se cumple 𝑝(𝑥)”.

EJEMPLO: 𝐴 = {−3, 1, 2 ,3, 4}, construyendo la proposición ∀𝑥 ∈ 𝐴: 𝑥 ∈ ℕ , el valor de verdad es F, porque −3 ∉ ℕ.

EJEMPLO: 𝐴 = {−3, 1, 2 ,3, 4}, construyendo la proposición ∀𝑥 ∈ 𝐴: 𝑥 ∈ ℤ , el valor de verdad es V.

Pero, ∀𝑥 ∈ 𝐴: 𝑥 ∈ 𝐴 , el valor de verdad es F, porque en 4 ∈ 𝐴, no se cumple la desigualdad.

PROPOSICIÓN EXISTENCIAL Y UNICIDAD ∃!

NEGACIÓN DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES UNIVERSALES EXISTENCIALES Y DE EXISTENCIA

~[∀𝑥 ∈ 𝐴: 𝑝(𝑥)] ≡ ∃𝑥 ∈ 𝐴: ~𝑝(𝑥).

~[∃𝑥 ∈ 𝐴: 𝑝(𝑥)] ≡ ∀𝑥 ∈ 𝐴: ~𝑝(𝑥).

También podría gustarte