Lógica básica

La lógica tiene un rango de aplicación bastante restringido. Única y exclusivamente trata de encontrar las reglas que determinan cuándo un razonamiento es correcto o no. Como los razonamientos se aplican en todos los aspectos de la vida humana, debemos concluir que la lógica únicamente abarca todos los aspectos de vida. ¿Cómo puede el lector determinar que la conclusión anterior no es simplemente impuesta de manera arbitraria? Por supuesto, apelando a la lógica. No hay, pues, excusa para no estudiarla. Entre otras cosas, su estudio permitirá entender la estructura de inferencias como las presentadas en este preámbulo. Lógica básica es solo una introducción a esta disciplina, que aborda desde sus aspectos más sencillos, los de la lógica proposicional, hasta los desarrollos más complejos pero presentados de manera introductoria, como la teoría de conjuntos y la semántica de mundos posibles para la lógica modal de predicados.