CUANTIFICADORES Cuando se habla de cuantificadores en trminos de Lgica, Teora de Conjuntos o Matemticas en general, se hace referencia a aquellos smbolos que

se utilizan para indicar cantidad en una proposicin, es decir, permiten establecer cuntos elementos de un conjunto determinado, cumplen con cierta propiedad. Los cuantificadores permiten la construccin de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo, si consideramos la funcin proposicional: P(x) = x es menor que dos Esto podra particularizarse as: Existe un nmero real que es menor que dos o generalizarlo diciendo: Todos los nmeros reales son menores que dos. En cualquiera de los dos casos, se especifica un conjunto donde est tomando valores la variable, para nuestro ejemplo, el conjunto de los nmeros reales. Los cuantificadores ms utilizados son entonces: CUANTIFICADOR UNIVERSAL (para todo): se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condicin o propiedad determinada. Esto se expresa como:

CUANTIFICADOR EXISTENCIAL (existe al menos un): se utiliza para indicar que existen uno o ms elementos en el conjunto A que cumple(n) con una condicin o propiedad determinada.

CUANTIFICADOR EXISTENCIAL NICO (existe un nico): se utiliza para indicar que existe exactamente un elemento en el conjunto A que cumple con una condicin o propiedad determinada.

LGEBRA DE CONJUNTOS El lgebra de conjuntos define las operaciones, reglas y propiedades que podemos aplicar con los conjuntos.

Conjunto: conjunto cualesquiera la nombraremos con una letra mayscula: Conjunto universal: Que contiene a todos los conjuntos de los que estemos tratando, lo nombraremos con la letra u mayscula: Conjunto vaco: Que es el conjunto que no tiene ningn elemento, lo nombraremos con:

PAR ORDENADO Cuando hablamos de par ordenado, nos estamos refiriendo a dos nmeros, o figuras, encerrados en un parntesis. Su representacin general es: ( a,b) Respecto a esto, podemos preguntarnos cmo se obtiene un par ordenado?, para qu sirve un par ordenado? Un par ordenado se puede obtener desarrollando una funcin o realizando la operacin llamada producto cartesiano. Como consecuencia, un par ordenado sirve para representar un subconjunto del producto cartesiano entre dos conjuntos, un punto en un plano cartesiano o bien una razn o una funcin. Ejemplo : (3,5) (7,5) (1,3) (3,4) (6,1) (5,6) (9,6).... RELACIONES DE CARDINALIDAD Sean los conjuntos A = { 5, 7 } B = { 3, 5, 7, 9 } Los elementos 5 y 7 forman parte del conjunto A. En otras palabras, los elementos 5 y 7 pertenecen ( 5 A y 7 ) al conjunto A. A

Los elementos 3, 5, 7, 9 forman parte del conjunto B, es decir, pertenecen al conjunto B 3 B 5 B 7 B 9 B

Se puede observar, adems, en el diagrama, que los elementos del conjunto A estn incluidos dentro del conjunto B; por lo tanto, dichos elementos tambin pertenecen al conjunto B. En otras palabras, A es subconjunto de B. A B

ECUACIONES Se llaman ecuaciones a igualdades en las que aparecen nmero y letras (incgnitas) relacionados mediante operaciones matemticas. Por ejemplo: 3x - 2y = x2 + 1 Son ecuaciones con una incgnita cuando aparece una sla letra (incgnita, normalmente la x). Por ejemplo: x2 + 1 = x + 4 Se dice que son de primer grado cuando dicha letra no est elevada a ninguna potencia (por tanto a 1). Ejemplos : 3x + 1 = x - 2 1 - 3x = 2x - 9. x - 3 = 2 + x. x/2 = 1 - x + 3x/2 DESIGUALDADES Una desigualdad es una expresin matemtica que contiene un signo de desigualdad. Los signos de desigualdad son: < > no es igual menor que mayor que menor o igual que mayor o igual que

De la definicin de desigualdad, lo mismo que de la escala de los nmeros algebraicos, se deducen algunas consecuencias, a saber: 1 Todo nmero positivo es mayor que cero Ejemplo: 5 > 0 ; porque 5 0 = 5 2 Todo nmero negativo es menor que cero Ejemplo: 9 < 0 ; porque 9 0 = 9 3 Si dos nmeros son negativos, es mayor el que tiene menor valor absoluto; Ejemplo: 10 > 30; porque -10 (30) = 10 +30 = 20 Una desigualdad que contiene al menos una variable se llama inecuacin. Por ejemplo: x+3<7 (La punta del signo < siempre seala el menor) Ejemplos: 3 < 4, 4>3

GRAFICA DE FUNCIONES