You are on page 1of 10

Sem ntica de la lgica de

prim er orden
M odelos, interpretaciones y valuaciones

Contenido
La semntica de la lgica clsica
Modelo e interpretacin
Interpretacin por sustitucin
Interpretacin por asignacin
Consistencia, satisfabilidad y decidibilidad

La sem ntica de la lgica proposicional


En la lgica proposicional, la semntica est basada en una funcin
que va de las fbf a los valores de verdad establecidos. Esto es, la
semntica en LP es veritativo funcional. La extensin de un
enunciado es su valor de verdad (Frege).
Asumimos que hay un nico universo al cual aplicar nuestro
esquema de valuacin, tenga o no una existencia. Esto la hace
pobre en trminos descriptivos y explicativos.
LP nos brinda un esquema sencilla de verificacin de la verdad de
cualquier enunciado (las tablas de verdad).
La semntica de LP usa el concepto de interpretacin al igual que la
lgica de predicados (toda asignacin de un valor de verdad por
medio de la funcin V no es ms que una interpretacin del
enunciado P bajo V)

M odelo e interpretacin
La semntica de la lgica de primer
orden no puede ser veritativo-funcional
en el sentido de la lgica proposicional
porque en la primera se lleva ms all
el principio de composicionalidad
(Frege).
Dado que los componentes sintcticos
de esta lgica incluyen individuos, la
semntica subyacente requiere, como
ocurre en programacin, de una
ontologa de conceptos, lo que no
implica la existencia de una realidad
extralingstica.
Un modelo es un esquema que permite
desarrollar lo anterior.
Pero tenemos una idea intuitiva un
tanto dismil sobre modelo

VS

VS

M odelo e interpretacin
La idea bsica detrs de modelo es la de estructura que permite
interpretar expresiones de un lenguaje.
Un modelo est compuesto por dos partes: el universo del discurso y la
funcin de interpretacin. Estos conceptos pueden cambiar en cada
modelo.
Los modelos no rien con las definiciones de extensionalidad e
intensionalidad. Es importante, sin embargo, entender la extensin y la
intensin en este nuevo esquema lgico: en sentido matemtico, se limita a
los predicados pero se puede seguir entendiendo en el sentido de Frege.
Dos
principios
FUNDAMENTALES:
extensionalidad (Leibniz).

composicionalidad

(Frege)

El concepto de modelo genera una posicin relativista, acorde a los


cambios cientficos del siglo XIX y XX. Es la lgica de la nueva ciencia.

Interpretacin por sustitucin

Un modelo M para el lenguaje L es una diada <D, I> donde D representa


el universo del discurso e I representa la funcin de interpretacin en el
que
Si c es una constante de L, entonces I(c) D
Si B es un predicado n-ario de L, entonces I(B) Dn

La funcin VM (llamada la funcin valuacin en M) se define as:


Si A(a1, a2,an) es una frmula atmica en L, entonces V M A(a1, a2,an) = 1
si y solo si I(a1),...,I(an) I(A).
VM ( ) = 1 ssi VM () = 0
VM ( ) = 1 ssi VM () = 1 y VM () = 1
VM ( ) = 1 ssi VM () = 1 o VM () = 1
VM ( ) = 1 ssi VM () = 0 o VM () = 1
VM ( ) = 1 ssi VM () = VM ()
VM (x ) = 1 ssi VM ([c/x] )=1 para toda c en L
VM (x ) = 1 ssi VM ([c/x] )=1 para al menos una c en L

Ejem plo
p1

p2

p4

p3

Defina formalmente un
modelo y muestre que las
siguientes afirmaciones son
verdaderas o falsas
x y F(x, y)
x y (N(x) V(y))
x y ( F(x, y) V(x))

Interpretacin por asignacin

Un modelo M para el lenguaje L es una diada <D, I> donde D representa el


universo del discurso e I representa la funcin de interpretacin en el que:
||t||M,G = I(t) si t es una constante en L.
||t||M,G = g(t) si t es una variable.

La funcin VM, G (llamada la funcin valuacin en M bajo g) se define as:


Si A(t1, t2,tn) es una frmula atmica en L, entonces V M A(t1, t2,tn) = 1 si y
solo si ||t1||M,G, ||tn||M,G I(A).
VM, G ( ) = 1 ssi VM, G () = 0
VM, G ( ) = 1 ssi VM, G () = 1 y VM, G () = 1
VM, G ( ) = 1 ssi VM, G () = 1 o VM, G () = 1
VM, G ( ) = 1 ssi VM, G () = 0 o VM, G () = 1
VM, G ( ) = 1 ssi VM, G () = VM, G ()
VM, G (x ) = 1 ssi VM, G [x/d] ()=1 para toda d en D
VM, G (x ) = 1 ssi VM, G [x/d] ()=1 para al menos una d en D

Ejem plo
Defina formalmente un
modelo y muestre que las
siguientes afirmaciones son
verdaderas o falsas

p1

p2

p4

p3

x y F(x, y)
x y F(x, y)
x y ((N(x) V(x)) F(x, y))
x y ( F(x, y) V(x))

Satisfacibilidad, decidibilidad y
consistencia
El primer concepto que cambia es el de satisfacibilidad: ahora
diremos que una frmula es satisfacible si existe un modelo que la
hace verdadera. Un modelo que la hace falsa ser un
contramodelo o contraejemplo.
Enunciados de la lgica de primer orden con predicados de ms de
dos argumentos no son decidibles (es decir, no se puede crear un
procedimiento bajo el cual se pueda afirmar que son o no
verdaderos bajo cualquier modelo). Este es el problema de la
indecidibilidad y proviene de la tesis Church Turing y de los
trabajos de Lwenheim).
Si una frmula es verdadera bajo una interpretacin, entonces ser
verdadera bajo una interpretacin en la que su universo del
discurso sean los nmero naturales (tesis Lwenheim Skolem).
La consistencia ser limitada a los modelos planteados.