Función Proposicional 12 de Abril

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 4

Las Funciones Proposicionales y los Cuantificadores

a) Función proposicional:
La función proposicional es un enunciado abierto de la forma P ( x ) ,es decir, se trata
de una expresión que contiene alguna variable que al ser sustituida por un valor
particular (número) se convierte en proposición.
Al igual que las proposiciones, las funciones proposicionales se pueden unir por
conectivos lógicos, formándose las funciones proposicionales compuestas.

Ejemplo 1.- Enunciado abierto:


x +3>8 (Proposición falsa)
De este enunciado no podemos
P ( x ) : x+ 3>8 (Enunciado)afirmar si es verdad o falso, pero:
a) Si x=1 ,entonces 1+3>8 , es Ejemplo 3.-
P ( x ) : x+ 3>8 una proposición falsa. Q ( x ) :2 x+1< 9→ 3 x−2>4 ,
(Proposición) b) Si x=6 , entonces 6+3> 8 , es U¿ { 3 ; 4 ; 5 ; 6 }
una proposición verdadera. En este ejemplo vemos que las
P ( x ) : x+ 3>8 funciones proposicionales
(Proposición) 2 x+1< 9 y 3 x−2> 4 se han unido por
Ejemplo 2.- F ( x ; y ) : x 2+ y 2=169 , medio del condicional formando la
U ¿ N en este ejemplo “U” función proposicional compuesta “
representa el conjunto de valores que Q ( x ) ”.
pueden tomar “x” ó “y” , que Sustituyamos la variable “x” por dos
es el conjunto de números naturales valores tomados de U¿ { 3 ; 4 ; 5 ; 6 }.
esto significa que “x” e “y” pueden a) Q ( x ) :2(5)+1<9 →3 (5)−2>4 ,
ser sustituidas por números naturales
solamente con valores que veremos a
continuación: F V V
a)
(Proposición verdadera)
x=5
a) Q ( x ) :2(3)+1<9 →3 (3)−2>4 ,
y=12

P ( 5; 12 ) : 52 +122=169 (Proposición verdadera)


V V V

Ejemplo 4.- M ( x ) :2 x +1=7 ∧ x+3> 6 ,


(Proposición verdadera)
U¿ { 2 ; 3; 4 ; }
x=4
Si se trata de negar a la función
y=6 proposicional debemos recordar que:

( p ∧q ) ≡ p ∨ q (Ley de Morgan) porque las


P ( 4 ; 6 ) : 4 2 +62=169 leyes de la lógica son aplicable a las funciones
proposicionales.
Entonces: ∼ M ( x ) :∼ ( 2 x +1=7 ∧ x +3> 6 ) Equivale a: ∼ M ( x ) :2 x +1 ≠7 ∧ x +3 ≯ 6

b) Cuantificadores:
Hemos visto que una función proposicional se puede convertir en proposición
asignándole a la variable un valor particular (número), pero existe otro método para
lograr esto y consiste en anteponer un cuantificador, ya sea universal o existencial, a
la función proposicional.
Ejemplo: consideramos la función proposicional x 2< 26, sabemos que no es
proposición y determinamos un conjunto “A” de valores para la variable “x”:
A={ 1; 3 ; 5 } , luego:
a) Si x=1 ⇒12 <26 (verdadero)

b) Si x=3 ⇒32 <26 (verdadero)

c) Si x=5 ⇒52 <26 (verdadero)


∴Para todo x ∈ A , x 2 <26 es una proposición verdadera

III. Cuantificador universal:


El cuantificador universal se representa por “ ∀ ” y se lee “para todo” o “para
cualquier”, entonces ∀ xϵ A , P(x ) se lee: Para todo elemento “x” que pertenece al
conjunto “A”, se cumple “ P( x )”:
∴ ∀ x ∈ A , P ( x )es una proposición

1. ∀ xϵ B , x−1<12; B={8;10;12;14} 3. ∀ x ∈ R , x 2+ 1> 0 , R :conjunto de


a) Si x=8 ⇒ 8−1<12 (verdadero) números reales
b) Si x=10 ⇒ 10−1< 12 (Es una proposición verdadera).
(verdadero)
c) Si x=12 ⇒ 12−1<12 4. ∀ x ∈ R ,|x|>0 , R
(verdadero) Es una proposición falsa, porque si
d) Si x=14 ⇒ 14−1<12 (falso) “x=0” entonces |0|≯ 0
∴ ∀ x ∈ B , x−1<12es una
proposición falsa , para que sea 5. ∀ x ∈ ( R− {0 } ) ,|x|>0 , R
verdadera todos los valores de
“x” que están en el conjunto B (Es una proposición verdadera).
deben verificar “ x−1<12”

2. ∀ n ∈ N ,3n es múltiplo de 3; N :
6. “Todas las gallinas son aves”
conjunto de números naturales.
Se puede explicar así
(Es una proposición verdadera).
∀ x ∈G , x es ave: es el conjunto de
todas las gallinas
Es una proposición verdadera,
porque todo elemento de G es ave.
IV. Cuantificador existencial:
El cuantificador existencial se representa por “∃” y se lee:”existe algún” o “Existe por lo
menos un”, entonces∃ x ∈ A ∕ P( x)se lee: existe por lo menos un elemento “x” que
pertenece al conjunto “A” para el que se cumple “ P( x )”.
∴ ∃ x ∈ A / P ( x )Es una proposición
1. ∃ x ∈ D ∕ x 2 +1>20; D={1;2;3;4;5;6}
Es una proposición verdadera, porque
Si x=5 entonces 52 +1>20 (verdadero)
Significa que hemos encontrado al menos un elemento que verifica la
desigualdad

V. Negación de proposiciones cuantificadas


Ejemplo 1:
Proposición: Todas las gallinas son blancas.

Negación: No todas las gallinas son blancas.


O : Existen algunas gallinas que no son blancas.
Expresamos la proposición y su negación en símbolos, usando cuantificadores.

Proposición: p: ∀ x ∈G ,x es blanca ;G={gallinas}


Negación: ∼ p :∃ x ∈ G ∕ no es blanca
Se observa que cuando se niega un cuantificador universal se obtiene un cuantificador
existencial y también ocurre que cuando se niega un cuantificador existencia se
obtiene un cuantificador universal, es decir se cumple que:
a) ∼ [ ∀ x ∈ A , P(x ) ] ≡∃ x ∈ A ∕ ∼P ( x)

b) ∼ [ ∃ x ∈ A , P (x) ] ≡ ∀ x ∈ A ∕ ∼P ( x)

Ejemplo 2:
La proposición es: p: ∀ x ∈ A , x 2 <40 ; A={ 5 ; 6 ;7 ; 8 }proposición falsa.
Su negación es: ∼ p :∃ x ∈ A ∕ ∼(x 2 <40)
También: ∼ p :∃ x ∈ A / x 2 ≥ 40 ; A={5 ; 6 ; 7 ; 8 } proposición verdadera

También podría gustarte