FACULTAD: Salud Pblica

ESCUELA: Medicina

SEMESTRE: Primero C

NOMBRE: Lorena Rosario Ulloa Izurieta

FECHA: viernes 02 de octubre de 2009

DOCENTE: Doctora Sandra Tenelanda

TEMA: Lgica Matemtica

QUE ES LA LGICA? La lgica matemtica es un subcampo de la lgica y las matemticas. Consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica guarda estrechas conexiones con la ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora de la demostracin. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

OPERADORES BASICOS DELA LOGICA? La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad p p V F

La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es: p q p^q V V F F V F V F V F F F

La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente, as por ejemplo si tenemos: La funcin es creciente y est definida para los nmeros positivos, utilizamos p ^ q, donde p: la funcin es creciente q: la funcin esta definida para los nmeros positivos As tambin: p ^ q, donde La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: p q pvq V V V F F V F F V V V F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresin p q sea verdadera. La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q, y su tabla de verdad est dada por: p q pq V V V F F V F F V F V V

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El nico caso que resulta falso es cuando el primero es verdadero y el segundo falso. Por ejemplo, si p es llueve y q es hay nubes entonces: p q es si llueve entonces hay nubes. Tambin cabe sealar que este viene a ser el operador ms importante en el proceso deductivo y que la mayora de las leyes de inferencia y las propiedades en matemticas se pueden enunciar utilizando este operador.

La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p p q q V V V

V F F V F F

F F V

Jerarquia de Operadores. Combinando los operadores anteriores podemos formar nuevas expresiones. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambiguedad, por ejemplo p ^ q podra significar dos cosas distintas Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarquia sobre ^, v, , . As p ^ q significa (( p)^ q). En algunos casos se considera ^, v tienen mayor jerarqua que por lo que p q v r sera (p (q v r)) y tambin que ^ tiene prioridad sobre v, por lo que p ^ q v r sera (p ^ q) v r. As por ejemplo, en electrnica, para representar circuitos lgicos se utiliza + en lugar de v y en lugar de ^. Por lo que pq+r es ((p ^ q) v r). Sintaxis. Smbolos: -de veracidad: (V, F). -de representacin de var. (p,q,r...). -conjunciones o conectivas (, , , , , ). -de puntuacin ( ). 1.Reglas de formacin. 1-Una variable proposicional es una sentencia bin formada. 2-Una sentencia bien formada precedida de la negacin es una sentencia bien formada. 3-Dos sentencias bien formadas unidas por una conectiva binaria, constituye una sentencia bien formada.

2.Conectivas. -Singulares (, No) y Binarias: -Conjuncin (, y) -Disyuncin inclusiva (,o) -Disyuncin exclusiva (, o... o... pero no ambas) -Condicional (, si ... entonces ...); <antecedente, consecuente, recproca>. -Bicondicional (, ... si y slo si ...). [-Condicional ampliado (conectiva de 3 sentencias) ( si ... entonces ... si no ...)] Semntica. Interpretacin (asignacin de valor a variables proposic.) 1.Tablas de verdad. p q p p q p q p q p q p q VVFVVFVV VFFFVVFF FVVFVVVF FFVFFFVV 2.Equivalencia. () (tablas de verdad iguales). Reflexiva,simtrica y transitiva. Clases de equival. 3.Tautologas y contradicciones. Si todos los valores de la tabla de verdad son: 1)Verdaderos Tautologa. 2)FalsosContradiccin. 3)AmbosSentencias de tipo indeterminado. 4 Leyes de la lgica de proposiciones. Tautologas especialmente tiles: 1)Ley de identidad: (pp, pp). 2)Ley de la doble negacin: (p p). 3)Ley del tercio excluso: (p p siempre ser V). 4)Ley de contradiccin: (p p siempre ser F). 5)Leyes de Morgan: (p q) (p q) ; (p q) (p q). 6)Ley de reduccin al absurdo: [p (q q)] p. 7)Leyes de conmutacin: (p q) (q p) ; (p q) (q p) ; (p q ) (q p) 8)Leyes de asociacin: [(pq)r][p(qr)] ; [(pq)r][p(qr)] ; [(pq )r][p(qr)] 9)Leyes de transposicin: (p q) (q p) ; (p q) (q p) 10)Leyes distributivas: [p ( q r)][(p q) (p r)] ; [p ( q r)][(p q) (p r)] ; [p ( q r) ] [ (p q) (p r) ] ; [ p ( q r) ] [ (p q) (p r) ]

11)Ley de permutacin: [ p ( q r ) ] [ q ( p r ) ] 12)Ley del silogismo: ( p q ) [ ( q r ) ( p r ) ] ??? 13)Silogismo hipottico o transitividad: [(p q)(q r)] (p r) ; [(pq)(qr)] (pr) 14)Leyes de inferencia de la alternativa o de los silogismos disyuntivos: [ p ( p q ) ] q ; [ p ( p q ) ] q 15)Ley del dilema constructivo: [ ( p q ) ( p r ) ( q r ) ] q 16)Segunda ley del dilema constructivo: [ ( ( p q ) ( r s ) ) ( pr)](qs) 17)Ley del dilema destructivo: [ ( p q ) ( r p ) ( s q ) ] ( r s ) 18)Ley de exportacin: [ ( p q ) r ] [ p ( q r ) ] 19)Ley de resolucin: [ ( p q ) ( p r ) ] ( q r ) 20)Ley del bicondicional: ( p q ) [ ( p q ) ( q p ) ] 21)Condicional-disyuncin: ( p q ) ( p q ) 22)Condicional-conjuncin: ( p q ) ( p q ) 23)Leyes de simplificacin: ( p q ) p ; p ( p q ) 24)Leyes de expansin: ( p q ) [ p ( p q ) ] ; ( p q ) [ q (pq)] 24)Modus ponendo ponens: [ ( p q ) p ] q 26)Modus tollendo tollens: [ ( p q ) q ] p RESUMEN La lgica matemtica es una serie de proposiciones a la cual le podemos dar un valor de verdad. Conectivos lgicos .y. .o v Si..entonces. si solo si .. Verdadero 1 Falso0 As tambin tenemos que la lgica cuenta con varios operadores como son: Negacin Conjuncin Disyuncin Implicacin Bi implicacin Adems de leyes entre las mas importantes tenemos: Ley de indempotencia Ley conmutativa

Ley Ley Ley Ley Ley Ley Ley Ley

asociativa distributiva de complemento de identidad de DMorgan de absorcin de la condicional de la bi.condicional

BIBLIOGRAFIA www.mitecnologico.com www.monografias.com es.wikipedia.org/wiki/Lgica_matemtica cherokee.iespana.es