Unidad 1.

Apuntes

Unidad 1. Lógica La lógica puede definirse como la disciplina que formaliza el estudio de los métodos de razonamiento. Es un conjunto de técnicas y teoremas que nos permiten modelar y definir formas de razonar. Las estructuras del pensamiento y las reglas que las gobiernan son estudiadas en la lógica. Los objetivos fundamentales de la lógica son los siguientes: Eliminar la ambigüedad del lenguaje natural. Establecer reglas que determinen la validez de un razonamiento. En el ámbito de la informática, la lógica es un concepto de fundamental importancia; es imprescindible que seamos capaces de crear proposiciones para que el computador las pueda ejecutar. Recordemos que el computador no es capaz de interpretar, por lo que, mientras menor sea la ambigüedad, mejor serán nuestros códigos. Tema 1. Lógica proposicional Existen dos conceptos fundamentales en lógica: el juicio y la proposición. El juicio es el acto mental mediante el cual pensamos un determinado enunciado, mientras que la proposición es lo que se piensa en dicho acto. Una proposición puede definirse como el significado de un pensamiento. Las proposiciones son enunciados aseverativos que transmiten información. Para repres...