Unidad 1: Introducción a la Lógica y lenguaje proposicional

Apuntes

MATEMÁTICA BÁSICA Unidad 1 Prof. Mg. Estela Torres 1 UNIDAD 1 INTRODUCCIÓN La Lógica es la ciencia que estudia el razonamiento, pero no desde una perspectiva psicológica sino como producto o resultado de la actividad de razonar (por ejemplo, los pasos dados en una demostración). Por lo tanto, desde nuestro punto de vista, las leyes de la Lógica no son leyes psicológicas, más bien, son leyes que determinan cuándo ciertas creencias (o suposiciones) constituyen una buena razón para afirmar una conclusión. Por otra parte, el deseo de emplear la Lógica como herramienta de representación del conocimiento hace que los lenguajes formales se empleen como modelos (abstracciones) del conocimiento expresado mediante el lenguaje natural. Cuando se toma esta dirección es necesaria una simplificación del lenguaje natural, que conduce al uso de lenguajes formales. En una primera aproximación al tema, podemos dar la siguiente: Definición: La Lógica investiga la relación de consecuencia que se da entre una sucesión de premisas y la conclusión de un argumento o razonamiento correcto. LÓGICA DE PROPOSICIONES Para que la definición de Lógica cobre sentido debemos precisar ciertos conceptos, por ejemplo...