Sintaxis y Semántica en Lógica Formal

Sintaxis

Un lenguaje formal en lógica puede definirse sin referencia a ninguna interpretación, es decir, de modo puramente sintáctico. Esto implica especificar un alfabeto del lenguaje (el conjunto de símbolos permitidos) y un conjunto de reglas de formación para construir secuencias de símbolos llamadas fórmulas bien formadas (FBFs). La sintaxis se completa al añadir un mecanismo deductivo (un conjunto de axiomas y/o reglas de inferencia) que permita Sigue leyendo →