Lógica matemática

26 bytes añadidos, 24 agosto
Esta definición de consecuencia lógica muestra que para caracterizar una lógica es necesario describir el lenguaje que estamos empleando, separando el vocabulario lógico del vocabulario no-lógico. Además es necesario explicar en qué consiste una interpretación para el vocabulario no-lógico y cómo, dada una interpretación del vocabulario no-lógico, cualquier fórmula del lenguaje tomará también una interpretación.
<div align="center">Tabla 1: Caracterizar una lógica</div>
[[File:Tabla 1 LM.png]]
Autores, Editores, burócratas, Administrador
1941
ediciones