Funciones Proposicionales

Funciones proposicionales y cuantificadores
Función Proposicional
Supongamos los siguientes enunciados:
" x es la capital de Buenos Aires"
" y + 4 = 11"
Estos no tienen un valor de verdad ya que va a depender del valor que le

demos a las variables x e y. Pero si en el primero de ellos hacemos x =
La Plata, tenemos:
"La Plata es la capital de Buenos Aires" al cual le asociamos un valor de
verdad (Verdadero)
Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 lo cual
es (Falso)
Podemos, entonces, dar la siguiente definición: "Una función
proposicional es un enunciado abierto de la forma P (x) que se convierte
en una proposición cuando se le asigna un valor específico a la variable".
EJEMPLO :
p(x) :” 2x + 5 > 11” , si x = 4  13 > 11 (Verdadero)
q(x) : “3x + 7 = 11” , si x = 5  22 = 16 (Falso)
r(x) : “2x + 1 = 5 “, si x = 2  5 = 5 (Verdadero)
s(x) : “x es un animal”, si x = mesa se tendrá : mesa es un animal (Falso)
t(x) : “x es un ave”, si x = flamenco se tiene: el flamenco es un ave

(Verdadero)
1
Cuantificadores
A partir de funciones proposicionales es posible obtener proposiciones

generales mediante un proceso llamado de cuantificación. Asociados a
la indeterminada x, introducimos los símbolos x y x, llamados

cuantificador universal y cuantificador existencial respectivamen-
te. Las expresiones
 Para todo x, se verifica p(x) se denota por x: p(x)

 Existe x, tal que se verifica p(x) se denota por x / p(x)
Corresponden a una función proposicional p(x) cuantificada
universalmente en el primer caso, y existencialmente en el segundo.
VALOR DE VERDAD DEL CUANTIFICADOR UNIVERSAL
 ∀x, p(x) es verdad si p(x) es una proposición verdadera para todos los
valores de x en el universo U.
 ∀x, p(x) es falsa si hay, al menos, un valor de x en U para el cual el
predicado p(x) sea una proposición falsa.

EJEMPLO :
Determinar el valor de verdad de las siguientes afirmaciones

considerando el universo de los números enteros.
1. ∀x, x2 ≥ 0 El predicado p(x) : x2 ≥ 0 es una proposición verdadera si
sustituimos x por cualquier número entero, luego la proposición

cuantificada ∀x, x2 ≥ 0 es verdad.
2. ∀x, x = -190 Esta proposición dice que “todos los números enteros son
iguales a -190”. Por lo tanto, el predicado p(x) : x = -190 es una

proposición falsa. Por ejemplo, se tomamos x=0 la proposición
cuantificada ∀x, x = -190 es falsa.
2
VALOR DE VERDAD DEL CUANTIFICADOR EXISTENCIAL
 ∃x : p(x) es verdadera, si el predicado p(x) es una proposición
verdadera para, al menos, uno de los valores de x en U .
 ∃x : p(x) es falsa, si el predicado p(x) es una proposición falsa para
todos los valores de x en U
EJEMPLO :
Determinar el valor de verdad de las siguientes afirmaciones

considerando el universo de los números enteros.
1. ∃x : x2 ≥ 0 La proposición es “existe, al menos, un entero que es
mayor o igual a cero” El predicado p(x) : x2 ≥ 0 es una proposición

verdadera para cualquier entero x, por tanto, la proposición
cuantificada es verdad.
2. ∃x : x = -190 La proposición es “existe, al menos, un entero igual
a 5”. El predicado p(x) : x = -190 es una proposición verdadera cuando

x toma el valor -190, luego la proposición cuantificada es verdad.
3. ∃x : x = x + 1 La proposición es “existe, al menos, un número
entero que es igual al siguiente” El predicado p(x) : x = x + 1 es

una proposición falsa para cualquier número entero x, por tanto la
proposición cuantificada es falsa.
Negación de funciones proposicionales cuantificadas

Un problema de interés es la negación de funciones proposicionales
cuantificadas.
Por ejemplo: La negación de "Todos los enteros son impares" es "Existen
enteros que no son impares" y en símbolos:  x / ~ p(x)
3
Entonces, para negar una función proposicional cuantificada
universalmente se cambia el cuantificador en existencial, y se niega la
función proposicional.
Negación de cuantificadores.
Se tienen las siguientes relaciones universales:
EJEMPLO :
Negar cada una de las siguientes proposiciones

p(x): x  R: (x>0 → x + 3≥5)
q(x): x  Z : (x + 2= 6 x ≥ 3)
Solución
¬p(x): ¬ (x  R: (x>0 → x + 3≥5))

¬p(x): ¬ (x  R):¬(x>0 → x + 3≥5))
¬p(x): x  R: ¬(¬(x ≤ 0) x + 3 ≥ 5)
¬p(x): x  R: x > 0 ¬(x + 3 ≥ 5)
¬p(x): x  R: x > 0 x + 3 < 5
¬p(x): x  R: x > 0 x < 2
¬q(x):¬(x  Z : (x + 2= 6 x ≥ 3) )
¬q(x):¬(x  Z) : ¬ (x + 2= 6 x ≥ 3) )
¬q(x): x  Z: x + 2≠ 6 x < 3
4
Ejercicios
Escribe en forma simbólica cada enunciado, niega la expresión

simbólica y expresa en forma coloquial dicha negación.
1.Todos los miembros del equipo de Vóley argentino son grandes

jugadores de vóley.
Solución
A=Conjunto formado por los miembros del equipo de vóley.
p(x)= x es un gran jugador de vóley.
En símbolos nos queda:
x  A: p(x)
Cuya negación es:
¬(x  A: p(x)) = ¬(x  A):¬p(x)) = x  A : ¬p(x)

En lenguaje coloquial:
Algunos miembros del equipo de vóley no son grandes jugadores

de vóley.
2.Algunos alumnos no regulares de Matemática I de UNAHUR no

aprobaron el examen final de la materia.
Solución
A=Conjunto formado por los alumnos de Matemática I de UNAHUR.
q(x)= x es regular en Matemática I de UNAHUR.
h(x)= x aprobó el examen final de la materia.
En símbolos nos queda:
x  A: ¬p(x) ¬q(x)
Cuya negación es:
5
¬(x  A: ¬p(x) ¬q(x))= ¬(x  A):¬ (¬p(x) ¬q(x)) =
x  A : p(x) q(x)
En lenguaje coloquial:
Todos los alumnos de Matemática I de UNAHUR son regulares o

aprobaron el examen final de la materia.

Funciones Proposicionales

Cargado por

Copyright:

Formatos disponibles

Funciones Proposicionales

Cargado por

Información del documento

Descripción original:

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

Funciones Proposicionales

Cargado por

Copyright:

Formatos disponibles

Funciones proposicionales y cuantificadores

Estos no tienen un valor de verdad ya que va a depender del valor que le

p(x) :” 2x + 5 > 11” , si x = 4  13 > 11 (Verdadero)

q(x) : “3x + 7 = 11” , si x = 5  22 = 16 (Falso)

r(x) : “2x + 1 = 5 “, si x = 2  5 = 5 (Verdadero)

s(x) : “x es un animal”, si x = mesa se tendrá : mesa es un animal (Falso)

t(x) : “x es un ave”, si x = flamenco se tiene: el flamenco es un ave

A partir de funciones proposicionales es posible obtener proposiciones

la indeterminada x, introducimos los símbolos x y x, llamados

 Para todo x, se verifica p(x) se denota por x: p(x)

VALOR DE VERDAD DEL CUANTIFICADOR UNIVERSAL

 ∀x, p(x) es falsa si hay, al menos, un valor de x en U para el cual el

predicado p(x) sea una proposición falsa.

Determinar el valor de verdad de las siguientes afirmaciones

1. ∀x, x2 ≥ 0 El predicado p(x) : x2 ≥ 0 es una proposición verdadera si

sustituimos x por cualquier número entero, luego la proposición

iguales a -190”. Por lo tanto, el predicado p(x) : x = -190 es una

cuantificada ∀x, x = -190 es falsa.

Determinar el valor de verdad de las siguientes afirmaciones

1. ∃x : x2 ≥ 0 La proposición es “existe, al menos, un entero que es

mayor o igual a cero” El predicado p(x) : x2 ≥ 0 es una proposición

2. ∃x : x = -190 La proposición es “existe, al menos, un entero igual

a 5”. El predicado p(x) : x = -190 es una proposición verdadera cuando

3. ∃x : x = x + 1 La proposición es “existe, al menos, un número

entero que es igual al siguiente” El predicado p(x) : x = x + 1 es

Negación de funciones proposicionales cuantificadas

enteros que no son impares" y en símbolos:  x / ~ p(x)

Negar cada una de las siguientes proposiciones

¬p(x): ¬ (x  R: (x>0 → x + 3≥5))

¬p(x): x  R: ¬(¬(x ≤ 0) x + 3 ≥ 5)

¬p(x): x  R: x > 0 ¬(x + 3 ≥ 5)

¬p(x): x  R: x > 0 x + 3 < 5

¬p(x): x  R: x > 0 x < 2

¬q(x): x  Z: x + 2≠ 6 x < 3

Escribe en forma simbólica cada enunciado, niega la expresión

1.Todos los miembros del equipo de Vóley argentino son grandes

p(x)= x es un gran jugador de vóley.

En símbolos nos queda:

¬(x  A: p(x)) = ¬(x  A):¬p(x)) = x  A : ¬p(x)

Algunos miembros del equipo de vóley no son grandes jugadores

2.Algunos alumnos no regulares de Matemática I de UNAHUR no

q(x)= x es regular en Matemática I de UNAHUR.

h(x)= x aprobó el examen final de la materia.

En símbolos nos queda:

Todos los alumnos de Matemática I de UNAHUR son regulares o

También podría gustarte