Tipos de sistemas lgicos[editar]

Lgica proposicional[editar]
Artculo principal: Lgica proposicional

La lgica proposicional (o lgica de orden cero) es un lenguaje formal en el que no existen variables
ni cuantificacin, eso implica que cualquier secuencia de signos que constituya una frmula bien
formada de la lgica proposicional admite una valoracin en la proposicin es cierta o falsa
dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras
palabras en la lgica proposicional cualquier frmula bien formada define una funcin proposicional.
Por tanto, cualquier sistema lgico basado en la lgica proposicional es decidible y en un nmero
finito de pasos puede determinarse la verdad o falsedad semntica de una proposicin. Esto hace
que la lgica proposicional sea completa y muy sencilla de caracterizar semnticamente.

Lgica de predicados[editar]
La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que las sentencias
bien formadas son producidas por las reglas enunciadas a continuacin.
Vocabulario
Un vocabulario es una tupla:

que consta de:

smbolos relacionales

, cada uno de ellos con un nmero entero

asociado, el cual

se conoce como la aridad de

smbolos funcionales

smbolos constantes

Una frmula de primer orden

, cada uno de aridad

en el vocabulario

, es una frmula de primer orden donde los

nicos predicados, funciones y constantes empleados son los especificados por

Lenguajes y estructuras de primer orden[editar]

Un lenguaje de primer orden
El smbolo de igualdad

es una coleccin de distintos smbolos clasificados como sigue:

; las conectivas

; el cuantificador universal

y elparntesis , .

Un conjunto contable de smbolos de variable

Un conjunto de smbolos de constante

Un conjunto de smbolos de funcin

Un conjunto de smbolos de relacin

As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos
constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos
es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de
la estructura de las funciones y relaciones.
Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de
una semntica apropiada.
Una

-estructura sobre el lenguaje

, es una tupla consistente en un conjunto no vaco

, el

universo del discurso, junto a:

1. Para cada smbolo constante

de

, tenemos un elemento

2. Para cada smbolo de function

-aria

3. Para cada smbolo de relacin

-aria

subconjunto

de

de

, una function

, una relacin

A menudo, usaremos la palabra modelo para denotar esta estructura

-aria

-aria sobre

, esto es, un