LGICA MATEMTICA 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 las ciencias de la computacin y la lgica filosfica .La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y algoritmos, utilizando un lenguaje formal. La lgica matemtica suele dividirse en cuatro subcampos teor!a de modelos, teor!a de la demostracin, teor!a de conjuntos y teor!a de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. "ctualmente se usan indiferentemente como sinnimos las expresiones lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. 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 estudia las reglas de deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades meta lgicas de los mismos. #n un nivel elemental, la lgica proporciona reglas y t$cnicas para determinar si es o no vlido un argumento dado dentro de un determinado sistema formal. #n un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de axiomatizar las teor!as matemticas, de clasificar su capacidad expresiva, y desarrollar m$todos computacionales tiles en sistemas formales. La teor!a de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la lgica matemtica abstracta. %ebe se&alarse que la lgica matemtica se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es m$todo de descubrir verdades del mundo f!sico real, sino slo una fuente posible de modelos lgicos aplicables a teor!as cient!ficas, muy especialmente a la matemtica convencional. La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser completamente formalizados en todos sus aspectos. de la lgica que pueden ser modeladas y estudiadas matemticamente. LOGICA SIMBOLICA La lgica se define como la ciencia del razonamiento, o como el estudio de los m$todos y principios usados para distinguir el razonamiento correcto del

incorrecto. 'or su parte, la lgica simblica es el estudio de la lgica mediante la matemtica, es decir, que incorpora la exactitud y rigor matemticos. (n razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas )conclusin* se afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de la primera. 'ara efectos del curso, estudiaremos dos tipos de razonamiento +. ,nductivo comnmente, por analog!a- afirma probabilidad o cierta evidencia de la verdad de la conclusin. .. %eductivo sus premisas ofrecen una evidencia contundente de la verdad de la conclusin. /u correctitud viene dada por la validez o invalidez del razonamiento. CLASIFICACIN P OPOSICIONES SIMPLES O ATMICAS /on aquellas que carecen totalmente de conectivos lgicos y que, por lo tanto, son inseparables. #n este grupo se encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o atribuye una caracter!stica respecto de un objeto, como por ejemplo, Juan Prez es profesor- y las proposiciones relacionales, en las cuales existe una relacin de dependencia, estableciendo un enlace entre dos o ms objetoscomo por ejemplo, Caracas es la capital de Venezuela. P OPOSICIN COMP!ESTA O MOLEC!LA /on aquellas que resultan de la combinacin de varias proposiciones simples, unidas por uno o ms conectivos lgicos y que pueden ser separadas y descompuestas en proposiciones ms simples. /u valor de verdad depende del de las proposiciones que la componen, como por ejemplo, Juan Prez es profesor y Caracas es la capital de Venezuela . CONECTI"OS LGICOS Negacin %ada una preposicin p, la negacin de p, que se escribe #$ y se lee no p es verdadera cuando p es falsa y viceversa. ' 0 1 ' 1 0

Con%&ncin %adas dos preposiciones p y q, la conjuncin de p y q, que se escribe $ ', y se lee p y cuando p y p son verdaderas simultneamente y falsa en cualquier otro caso. p v v f f q v f v f pq v f f f

(is)&ncin %adas dos preposiciones p y q, la disyuncin de p y q que se escribe $ " ', y se lee p o q es verdadera cuando al menos p o p son verdaderas y falsa en caso de que ambas los sean. p v v f f q v f v f p 2q v v v f

Im$licacin %adas dos preposiciones p y q, la implicacin de p y q, que se escribe $ * ', y se lee si p entonces q, solo es falsa cuando p )el antecedente* es verdadero y q )el consecuente* es falso.

p v v f f

q v f v f

p3q v f v v

E'&i+alencia %adas dos preposiciones p y q, la equivalencia de p y q, que se escribe $ , ', y se lee p equivale q, es verdadera cuando p y q tiene el mismo valor de verdad. p v v f q v f v p4q v f f