nidad 2 Logica Matematica

La lgica matemtica es una parte de la lgica y las matematicas 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 ciencias de la comunicacin 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.

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 la matmatica. Segn Evandro Agazzi actualmente se usa indiferentemente como sinnimas las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica formal. 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.

2.1 CALCULO PROSICIONAL

CALCULO PROSICIONAL

El clculo proposicional es tambin llamado, lgica proposicional, calculo sentencial, lgebra Booleana. El clcu predicados con la constitucin de smbolos lgicos.

La Lgica Matemtica surge como una disciplina matemtica cuyo objeto de estudio es la lgica del razonamien de otras formas de razonamiento.) Requiere de expresar la lgica en trminos susceptibles de ser representados y

La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones co las proposiciones que componen un razonamiento. Proposiciones

Las proposiciones son definidas, apenas "como un pensamiento completo". Para nuestro propsito las proposicio sentencia.

Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposicin pu

no ambos (verdadero y falso) y tampoco pueden no tomar ningn valor. Una proposicin es un hecho. Los argum conclusiones de una proposicin. Las proposiciones son portadoras de veracidad y falsedad.

Mientras las proposiciones son expresadas en sentencias, la rama de la lgica se conoce como smbolos lgicos e variables de sentencias o variables proposicionales, p, q, r, s,..., para expresar proposiciones. Proposiciones simples o hechos Las siguientes son proposiciones simples las cuales son verdaderas: 1. 2. 3. 4. 5. El cielo es azul La nieve es fra 12*12=144 Vicente Fox es el presidente de la Republica Mexicana La Segunda Guerra Mundial duro desde 1939 hasta 1945

Las siguientes proposiciones simples son falsas: 1. 2. 3. 4. 5. Honda hace televisiones El General Fidel Castro es un Demcrata 8+99=231 Los Insectos crean su comida a travs de fotosntesis Atenas es la capital de Italia

Las siguientes son proposiciones no validas:

1. l es un vendedor-> Esta no es una proposicin porque "l" no esta definido. Como un resultado no hay m valor de verdad. 2. Esta declaracin es una mentira-> No es una proposicin porque "Esta" no esta definida como una declar ejemplos no podemos asignar un valor de verdadero o falso a la declaracin. 3. Las cosas buenas vienen en pequeos paquetes - > Este tipo de declaracin expresa una idea subjetiva o c trminos de verdadero o falso. 4. La verdad es que no hay verdad-> Esta es tambin un valor de hecho y expresa un concepto filosfico el c 5. Dios es bueno-> Este es un valor de hecho y expresa una tica, idea religiosa o dogma. No es una proposi 6. Por que el Soccer no es ms popular que el Bsquetbol en Estados Unidos?-> Esta no es una declaracin 7. 12 + x = 16-> No es una proposicin porque "x" es una variable indefinida, al menos que a x se le asignen valor de verdad o falsedad de la proposicin. 8. Al Pacino era un buen actor-> No es una proposicin. Esta sentencia expresa una opinin; es subjetivo.