Los conceptos de satisfabilidad y verdad son intuitivamente claros, pero siguiendo Tarski,

tambin podemos proporcionar una definicin ms rigurosa. Tal definicin es necesaria para
realizar pruebas precisas de muchos resultados matemticos.
La satisfaccin ser la nocin fundamental, sobre la cual estar basada la definicin de ver-
dad. Adems, en lugar de hablar de ntuplas de objetos que satisfacen una F.B.F que tiene
n variables libres, es mucho ms conveniente desde un punto de vista tcnico lidiar unifor-
memente con sucesiones numerables.Lo que tenemos en mente es que una sucesin numerable
s = {s1 , s2 . sn } sea pensada como satisfaciendo una F.B.F B que tiene a xj1 , xj2 , xjn
como variables libres (donde j1 < j2 < < jn ) si la n tupla hsj1 , sj2 , sjn i satisface B
en el sentido usual.Por ejemplo, una sucesin numerable (s1 , s2 , ) de objetos en el dominio
de interpretacin de una interpretacin M resultar que satisface la F.B.F A21 (x2 , x5 ) si y slo
si el par ordenado hs2 , s5 i esta en la relacin (A21 )M asignada a la letra predicativa A21 por la
interpretacin M.
Sea M una interpretacin de un lenguaje L y sea D el dominio de interpretacin de M. Sea
el conjunto de todas las sucesiones numerables de elementos de D. Para una F.B.F B de L
definiremos que significa para una sucesin s = (s1 , s2 ) en que satisfaga B en M. Como
paso preliminar, para una s dada en definiremos una funcin s que asigna a cada trmino t
de L un elemento s (t) en D

1. Si t es una variable xj , sea s (t), sj .

2. Si t es una constante individual aj , entonces s (t) es la interpretacin (aj )M de esta

constante.

3. Si fkn es una letra funcional, (fkn )M es la correspondiente operacin en D, y t1 , t2 , ...tn son

trminos, entonces:

s (fkn (t1 . . . , tn )) = (fkn )M (s (t1 ) . . . s (tn ))

Intuitivamente, s (t) es el elemento de D obtenido por sustitucin, para cada j, un nombre

de sj para todas las ocurrencias de xj en t y entonces realizando las operaciones de la la interpre-
tacin correspondientes a las letras funcionales de t. Por ejemplo si t es f22 (x3 , f12 (x1 , a1 )) y si la
interpretacin tiene a conjunto de los enteros como su dominio,f22 y f12 son interpretadas como
la suma y la multiplicacin ordinarias, respectivamente, y a1 es interpretado como 2, entonces
para cualquier sucesin s = (s1 , s2 . . .) de enteros,s (t) es el entero s3 (s1 + 2). esto no es nada
ms que la forma ordinaria de leer expresiones matemticas.

1. Si B es una F.B.F atmica Ank (t1 , . . . tn ) y (Ank )M es el nsimo lugar de la interpretacin,

entonces una sucesin s = (s1 , s2 . . .) satisface B si y solo si (Ank )M (s (t1 ), . . . s (tn ))

2. s satisface B si y slo si s no satisface B

3. s satisface B C si y slo si s no satisface B o s satisface C

4. s satisface (xi )B si y solo si cada sucesin que difiere de s en a lo ms el isimo

componente satisface B

Intuitivamente, una sucesin s = (s1 , s2 . . .) satisface una F.B.F B si y solo si, cuando
para cada i, reemplazamos todas las ocurrencias libres de xi (si las hay) en B por un smbolo
representando si , la proposicin resutante es verdadera bajo la interpretacin dada.

1
 Definiciones

1. Una F.B.F B es verdadera para una interpretacin M (escrito |=M B) si y solo si cada
sucesin en satisface B

2. Se dice que B es falso para M si y slo si ninguna sucesin en satisface B.

3. Se dice que una interpretacin M es un modelo para un conjunto de FF.BB.FF si y

solo si cada F.B.F en es verdadera para M

Nmeros Romanos del Mendelson

(I)

a) B es falso para una interpretacin M si y solo si B es verdadera para M.

b) B es verdadero para una interpretacin M si y solo si B es falsa para M.

( II ) No se da caso que |=M B y |=M B; esto es , ninguna F.B.F puede ser verdadera y falsa
para M

( III ) Si |=M B y |=M B C, entonces |=M B

( IV ) B C es falso para M si y slo si |=M B y |=M C

( V ) Considere una interpretacin M con dominio D.

(a) Una sucesin s satisface B C si y solo si s satisface B y s satisface C

(b) Una sucesin s satisface B C si y solo si s satisface B o s satisface C

(c) Una sucesin s satisface B C si y solo si s satisface ambas B y C o s no satisface ni B

ni C

(d) s satisface (xi )B si y solo si hay una sucesin s0 que difiere de s en a lo ms el isimo
trmino tal que s0 satisface B.(En otras palabras s = (s1 , s2 , si , ) satisface (xi )B si
y solo si hay un elemento c en el dominio D tal que la sucesin (s1 , s2 , , c, ) satisface
B)

( VI ) |=M B si y solo si |=M (xi )B.Podemos extender este resultado de la siguiente manera.
Por cerradura de B nos referimos a la f.b.f obtenida de B prefijando cuantificadores
universales a aquellas variables, en orden descendiente de los subndices, que son libres en
B. Si B no tiene variables libres, entonces la cerradura de B es definida a ser B misma.Por
ejemplo si B es A21 (x2 , x5 ) A31 (x1 , x2 , x3 ) su cerradura es (x5 )(x3 )(x2 )(x1 )B. Se
sigue de (VI) que una F.B.F B es verdadera si y solo si su cerradura es verdadera

( VII ) Toda instancia de tautologa es verdadera para cualquier interpretacin (Una instancia de
una forma declarativa es una f.b.f obtenida de la forma declarativa substituyendo f.b.f, por
todas las letras declarativas, con todas las ocurrencias de la misma letra declarativa siendo
reemplazadas por las mismas f.b.f. As, una instancia de A1 A2 A1 es A1 (x2 )
((x1 )A11 (x1 )) A11 (x2 ).)Para probar (VII), muestre que todas las instancias de axiomas
de L son verdad y entonces use (III) y la siguiente proposicin (Teorema de la Completud):
Si una f.b.f de L es una tautologa, entonces es un teorema de L

2
( VIII ) Si las variables libres de B (si las hay) ocurren en la lista de xi , xik y las sucesiones s
y s0 poseen los mismos componentes en esos lugares i1 , ik entonces

M |=s B M |=s0 B

A pesar de que , por (VIII), una f.b.f particular B con k variables libres es esencialmente
satisfecha o no por ktuplas, en vez de sucesiones numerables , es ms conveniente para un
tratamiento general de satisfaccin lidiar con sucesiones infinitas en vez de sucesiones finitas. Si
furamos a definir satisfaccin usando sucesiones finitas, las condiciones 3 y 4 de la definicin
de satisfaccin se volveran mucho ms complicadas.
Sean xi1 , , xik k distintas variables con subndices ordenados en orden creciente. Sea
B(xi1 , , xik ) una f.b.f que tiene xi1 , , xik como sus nicas variables libres. El conjunto de
ktuplas hb1 , bk i de elementos del dominio D tal que cualquier sucesin con b1 , , bk en los
lugares i1 , ik ,respectivamente, satisface B(xi1 , , xik ) es llamado la relacin (o propiedad1 )
de la interpretacin definida por B. Diremos que toda ktupla hb1 , bk i en esta relacin
satisface M; esto ser escrito |=M B[b1 , bk ].

Ejemplos

1. Si el dominio D de M es el conjunto de seres humanos, A21 (x, y) es interpretado como x es

un hermano de y, y A22 (x, y) es interpretado como x es un padre de y, entonces la relacin
binaria en D correspondiente a la f.b.f B(x1 , x2 ) : (x3 )(A21 (x1 , x3 ) A22 (x3 , x2 )) es la
relacin de tiazgo.|=M B[b, c] cuando y solo cuando b es un to de c

2. Si el dominio es el conjunto de enteros positivos, A21 es interpretado como =, f12 es inter-

pretado como multiplicacin, y a1 es interpretado como 1, entonces la f.b.f B(x1 ):

A21 (x1 , a1 ) (x2 )((x3 )A21 (x1 , f12 (x2 , x3 )) A21 (x2 , x1 ) A21 (x2 , a1 ))

determina la prtopiedad de ser un no mero primo. As |=M B[k] si y solo si k es un nmero

primo.

1
Una propiedad es definida cuando k = 1