Lógica matemática

26 bytes añadidos, 13:40 24 ago 2017
sin resumen de edición
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, Administradores
2016
ediciones

Menú de navegación