logica matematica

Introducción
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada enla filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber elsignificado correcto. En las matemáticas para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general lalógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca seha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplementeutilización de los mismos.
El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lógica matemática, después definimos el concepto de proposición. Seestablece el valor de verdad y formas proposicionales. Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos la negación, conjunción, disyunción o disyunción así mismoexplicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los métodos para determinar la validez de una expresión lógica.
En este trabajose trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que se aprenda a realizar demostraciones formales por el método directo y el método porcontradicción. Ya que la mayoría de los libros únicamente se quedan en explicación y demostración de reglas de inferencia. Se considera que si se aprende lógica matemática no tendrá problemas para...