Page 29 - KII - Aritmetica

Aritmética 3° Secundaria

13
SEMANA

Objetivo:
 Utilizar el lenguaje formal de los conectores para llegar a ciertas conclusiones.
 Resolver problemas de cuantificadores utilizando los conjuntos.

http://matematicaentretenida.espacioblog.com/post/2007/07/20/una–demostracion–terminos–pikachu–

Muchas demostraciones se pueden realizar utilizando la matemática formal, es decir lo que vamos a aprender
en este capítulo.

Se tiene un enunciado abierto llamado "función proposicional" que es una proposición lógica que está en
función de una variable p(x).

Si p(x): x + 3  5 Si: x ∈ A
A = {2; 3; 4; 5}

Si x = 2; p(x) = V
Si x = 4; p(x) = F

Entonces se observa que no se puede definir su valor de verdad; para solucionar este problema se le
antepone a la función proposicional un cuantificador:

a. Existencial: () que significa:

Por lo menos un valor de "x"
Algunos valores de "x"  Cumplen con p(x)

No todos los valores de "x" 

Del ejemplo anterior:

 
 x  A / x  3  5.... V
Algunos valores
de "x"

b. Universal: () que significa:

Para todo "x"
 Cumplen con p(x)

Todos los valores de "x" 

Del ejemplo anterior:
 x  A / x + 3  5 ....... (F)

do
2 Bimestre -28-