La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de

la demostracin e inferencia (Evaluacin que realiza la mente) vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio.

La lgica examina la validez de los argumentos en trminos de su estructura, (estructura

lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal.

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio
matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con la ciencia de la computacin y la lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.

Una proposicin se refiere a un enunciado que puede ser verdadero o falso, generalmente
una oracin enunciativa, base de lo que constituye el lenguaje formal de la lgica simblica.

Las proposiciones se clasifican en dos tipos: Simples y Compuestas, dependiendo de como

estn conformadas. Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones componentes.

UN CONECTIVO LOGICO es un smbolo que se utiliza para conectar dos frmulas, de modo
que el valor de verdad de la frmula compuesta dependa del valor de verdad de las frmulas componentes.

La negacin se simboliza, generalmente por el signo "~". Este signo puede ser traducido en
palabras, as: "no es el caso que" o, ms brevemente, "no". A partir de la teora de conjuntos, establecimos si un elemento pertenece o no a un conjunto y se seal que si no es elemento del conjunto, entonces es elemento del conjunto complemento. Por tanto la negacin se refiere al conjunto complemento.

Se establece el siguiente principio para la negacin lgica: la negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que equivale a decir que la negacin de la negacin de una proposicin verdadera es verdadera; y la negacin de la negacin de una proposicin falsa es falsa. Adems la conectiva no es la nica de tipo singular del listado de conectores lgicos sealado anteriormente.

La conjuncin es el operador correspondiente al trmino "y", siendo su smbolo ms

corriente el siguiente, "^", se le conoce como la multiplicacin lgica. Expresado en el lenguaje matemtico, la conjuncin est regida por la ley asociativa, "(pq)r" equivale a decir "pqr". Pero tambin es de carcter conmutativo: "pq" y "qp" son irrelevantes en su orden. La regla para establecer los criterios de verdad de la conectiva lgica conjuncin es la siguiente: Una conjuncin de enunciados en los cuales todos son verdaderos, es verdadera Una conjuncin de enunciados en donde no todos son verdaderos es falsa. Lo que equivale a decir que basta que uno de sus componentes sea falsa para que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos componentes lo sean.

LA DISYUNCIN INCLUSIVA
La disyuncin inclusiva, llamada tambin, alternacin, expresada ordinariamente mediante la palabra "o", simblicamente se le representa por medio de la letra "v", colocada entre dos proposiciones. Sin embargo, la "o" en este caso no tiene carcter de encrucijada o de dilema, y se puede interpretar como " o uno u otro o ambos". Por ciertas analogas con el lgebra se le llama tambin suma lgica. La alternacin posee, igualmente, la propiedad asociativa que consiste en la no importancia de la agrupacin en relacin con la verdad o la falsedad de una proposicin dada. Tambin es afectada por la ley conmutativa de que el orden de las alternativas no afecta a la alternacin. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: Una disyuncin inclusiva es verdadera cuando por lo menos una de sus alternativas es verdadera; solamente ser falsa si las dos lo son.

LA DISYUNCIN EXCLUSIVA
La disyuncin exclusiva se simboliza pro el signo "v", corresponde a la expresin " o uno u otro, pero no ambos a la vez". Una de las propiedades de esta conectiva es la de ser conmutativa y la de poseer el carcter asociativo. Se puede mostrar la equivalencia de los esquemas proposicionales as como establecer que es inesencial la agrupacin por la cual optemos. Ejemplos de expresiones afines a esta conectiva son " a menos que" o "salvo que" La regla de la tabla de verdad para esta conectiva lgica es la siguiente: Una disyuncin exclusiva es verdadera cuando una de sus alternativas es verdadera; y ser falsa si las dos alternativas son falsas o verdaderas.

LA CONDICIONAL
La condicional, expresada por la frase "si, entonces", se simboliza mediante el signo "" colocado entre las dos proposiciones.. La primera proposicin lleva el nombre de antecedente y la segunda proposicin la de consecuente. Algunos lgicos la denominan "proposicin hipottica" o "proposicin implicativa". La importancia de esta clase de proposiciones es la de que la utiliza frecuentemente en el lenguaje de las ciencias, particularmente en la ciencia de la fsica y en la matemtica. El condicional, segn veremos, es una conectiva para la cual importa el orden de las clusulas, esto es, se trata de un conector no conmutativo. En este caso el antecedente es una condicin suficiente respecto del consecuente y el consecuente es una condicin necesaria respecto del antecedente. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: La condicional ser falsa slo cuando el antecedente es verdadero y el consecuente es falso, en los dems caso ser verdadera.

LA BICONDICIONAL
La bicondicional, expresada por la frase "si y solo s", denotada por el signo"", significa una relacin bidireccional en donde ambas proposiciones se necesitan entre s. La regla de la tabla de verdad para esta conectiva lgica es la siguiente: La conectiva bicondicional ser verdadera solamente si y solo si las dos sentencias que la componen son a la vez verdaderas o si son ambas falsas. Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicincompuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. En lgica, un valor de verdad es un valor que indica en qu medida una declaracin es verdad.

Proposiciones condicionales.
Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q.

Proposicin bicondicional.
Sean p y q dos proposiciones entonces se puede indicar la proposicin vi condicional de la siguiente manera: pq Se lee p si solo si q

Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo si q tambin lo es. Ejemplo; el enunciado siguiente es una proposicin vi condicional.

Que son los conjuntos?

1.1 En matemticas, un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto. 1.2 Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A. En caso contrario, si a no es un elemento de A se denota a A.

Clase De Conjuntos.
UNITARIO: Que tiene un solo elemento. VACIO: Que no tiene elementos. FINITO: Aquel conjunto en el que sus elementos tiene fin. INFINITO: Aquel conjunto en el que sus elementos no tiene fin ejemplo: los nmeros naturales. UNIVERSAL: Es el conjunto que contiene a todos los elementos del discurso, se le denota por la letra U. DISYUNTO: Si dos conjuntos A y B no tienen ningn elemento en comn entonces A y B son disyuntos.

Relacin de conjuntos.
Dados dos conjuntos A y B una relacin es un subconjunto del producto cartesiano A x B. Un elemento a, que pertenece al conjunto A, est relacionado con un elemento b, que pertenece al conjunto B, si el par (a, b) pertenece a un subconjunto G (llamado grafo) del producto cartesiano A x B. Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relacin sera R = {(a,1),(c,2)}. Operaciones Con Los Conjuntos.

OPERACIONES CON CONJUNTOS.

Sean A y B dos subconjuntos de un conjunto universal U. Definimos las siguientes operaciones Entre conjuntos: Unin: A B = { } xU : x A x B Interseccin: A B = { } xU : x A y x B

Diferencia o resta: A \ B = { } xU : x A y x B Diferencia simtrica: AB = ( ) ( ) A \ B B \ A Complementario: A U A {