Copi

disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinarsi un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el puede pintar de izquierda a derecha o de derecha a izquierda segúnel caso, todo esto es la aplicación de la lógica.
 
La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamentesu inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos.
 
El orden en que sepresenta el documento es el siguiente: Primeramente se establece la importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el significado y utilidad deconectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente,  y proporcionamos una listade las tautologías más importantes, así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los métodos de demostración:directo y por contradicción, en donde incluye reglas de inferencia.
 
En este trabajo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que elalumno aprenda a realizar demostraciones formales por el método directo y el método por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostraciónde reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de...