Una proposición es,
como llamamos en
español, una oración
sencilla. El lenguaje de la
lógica maneja
proposiciones.
El valor de verdad de una
proposición es
determinar si ésta es
verdadera o falsa. Las
proposiciones simples se
unen a través de los
conectivos lógicos para
formar proposiciones
compuestas.
Cuantificadores
Los cuantificadores se utilizan
para transformar funciones
proposicionales en proposiciones.
Veamos el cuantificador universal
y el cuantificador existencial.
Cuantificador universal ( " ) Los
cuantificadores son palabras que
indican la cantidad de elementos
de un conjunto (todos los
elementos, ninguno de los
elementos o algún elemento) que
cumplen una determinada
condición o característica.
Cuantificador existencial ( $ )
Indica que las funciones
proposicionales simples o
compuestas son cumplidas por
algún elemento del conjunto U al
que están asociadas, esto es, que
al menos un elemento de U
cumple la condición.
Numeros
Números Reales
Conjunto de los números naturales: N =
{1, 2, 3, 4, 5,...}
Conjunto de los números enteros: Sabemos
que N ⊂ Z y que cada elemento de Z tiene
su punto correspondiente en la recta
numérica: Z = {..., - 3, - 2, - 1, 0, 1, 2, 3,...}
Conjunto de los números racionales: todo
número racional es un cociente o división
entre dos números enteros siempre que el
denominador o dividendo sea diferente de
cero. Llamamos Q al conjunto de los
números racionales y lo definimos
formalmente así: Q= / a ∈ , b ∈ , ∧ b ≠ 0
a