Anda di halaman 1dari 19

Teora de Modelos

J. Raymundo Marcial1
1 Facultad

de Ingeniera UAEM

18-11-08 / Clase

Author

Short Paper Title

Outline

Author

Short Paper Title

Valoracin
Denicin (Valoracin en I ) Una valoracin v en I es uan aplicacin que asigna a cada de; dominio de la interpretacin variable de L un elemento x v : V DI DI x v (x ) = x Denicin (Valoracin x -equivalente) DI , donde DI es el dominio de una interpretacin I y Sea x x sea v una valoracin en I . La valoracin vx tal que
x vx =

x si z x ; v (z ) en otro caso.

se dice que es una valoracin x -equivalente de v .


Author Short Paper Title

Valoracin

Ampliacin del concepto anterior


x1 x2 x1 x2 x n n vx x xn = (((vx1 )x2 ) xn )(z ) 1 x2

Author

Short Paper Title

Valoracin
Denicin Una valoracin V en I es una aplicacin que asigna a cada trmino de I un elemento del dominio DI , V : T DI denida mediante la siguiente regla (1)v (x ) (2)J (a) V (t ) = (3)J (fin )(V (t1 ) . . . V (tn ))

si t V t x ; si t C t a; si fin F (t1 T . . . tn T ) t fin (t1 . . . tn )

donde v es una valoracin de V en DI

Author

Short Paper Title

Evaluacin
Denicin (Evaluacin) Dada una fbf A de L en el contexto de una interpretacin I = (DI , J ) y una valoracin V en I . EvalI ,V es una aplicacin de fbfs a valores de verdad que se denen inductivamente como:
1

Si A R n (t1 . . . tn ) (esto es A es una frmula atmica) entonces EvalI ,V (A) = J (R n )(V (t1 ) . . . V (tn )) n (V (t1 ) . . . V (tn )) = V = R n , donde R n = J (R n ) es si y slo si V (t1 ) . . . V (tn ) R n una relacin en DI ;
Author Short Paper Title

Evaluacin

Denicin (Evaluacin) 2 Si A es de la forma


B entonces EvalI ,V (A) = f (EvalI ,V (B )) (B C ) entonces EvalI ,V (A) = f (EvalI ,V (B ), EvalI ,V (C )) (B C ) entonces EvalI ,V (A) = f (EvalI ,V (B ), EvalI ,V (C )) (B C ) entonces EvalI ,V (A) = f (EvalI ,V (B ), EvalI ,V (C )) (B C ) entonces EvalI ,V (A) = f (EvalI ,V (B ), EvalI ,V (C ))

2 Si A (x )B entonces EvalI ,V (A) = V si y slo si para toda x (B ) = V ; valoracin Vx x -equivalente de V , EvalI ,Vx x 2 Si A (x )B entonces EvalI ,V (A) = V si y slo si para x (B ) = V . alguna valoracin Vx x -equivalente de V , EvalI ,Vx x

Author

Short Paper Title

Satisfactibilidad
Denicin (Satisfactibilidad) Sea una interpretacin I = (DI , J ). Sea A una fbf de L. La valoracin V en I satisface la fbf A (denotado, V Sat A) si y slo si se cumple que EvalI ,V (A) = V . Ejemplo Dada la interpretacin DI = N. J como
J (a)=0 1 J (f1 ) = succ : N N 2 J (g1 ) = + : N2 N 2 J (g2 ) = : N2 N 2 J (R1 ) =: N2 {V , F }

Author

Short Paper Title

Satisfactibilidad
Ejemplo (Cont) La fbf:
1

2 (g 2 (x , x ), g 2 (x , x )) es satisfecha por la valoracin: R1 2 1 2 2 3 4

V (x1 ) = 2, V (x2 ) = 6, V (x3 ) = 3, V (x4 ) = 4. En cambio la valoracion tal que: V (x1 ) = 2, V (x2 ) = 5, V (x3 ) = 4, V (x4 ) = 2. no la satisface.
2

2 (g 2 (x , x ), g 2 (x , x )) es satisfecha por (x1 )(x2 )R1 2 1 2 2 2 1 cualquier valoracin. 2 (x , a) no es satisfecha por valoracin alguna. (x1 )R1 1

Author

Short Paper Title

Equivalencia lgica y verdad

Denicin (Equivalencia lgica) Dos fbfs A y B de L son lgicamente equivalentes, denotado por A B , si y slo si para toda interpretacin I y para toda valoracion V en I , V satisface a A si y slo si V satisface a B Denicin (Verdad en I )
1

Una fbf A es verdadera en I si y slo si toda valoracin V en I satisface a A Una fbf A es falsa en I si y slo si no existe valoracin V en I que satisfaga a A.

Author

Short Paper Title

Equivalencia lgica y verdad


Ejemplo
2 (g 2 (x , x ), g 2 (x , x )) no es ni verdadera ni falsa La frmula R1 2 1 2 2 3 4 en una interpretacin particular.

Ejemplo 2 Dada la interpretacin DI = al conjunto de los seres vivos, J (P ) =Hombre y J (Q ) =Mujer. La fbf A ((x )(P (x ) Q (x )) ((x )P (x ) (x )Q (x ))) de L se interpreta como: Si existe un ser humano que es Hombre y Mujer entonces existe in ser humano que es Hombre y existe un ser humano que es Mujer Es verdadera en I .
Author Short Paper Title

Equivalencia lgica y verdad


Ejemplo Para la interpretacin de la diapositiva 8, la fbf
2 2 A (x1 )(x2 )(x3 )R1 (g1 (x1 , x3 ), x2 )

de L se interpreta como: Para todo x1 y x2 N existe un x3 N tal que x1 + x3 x2 . Es un enunciado falso para los nmeros naturales, tomando x1 = 1 y x2 = 0 Proposicin Sean A y B fbfs de L e I una interpretacin de L. Si A y A B son verdaderas en I entonces B es verdadera en I .

Author

Short Paper Title

Frmulas cerradas y verdad en una interpretacin

En qu afecta la satisfacibilidad de una frmula la circunstancia de que sta sea cerrada. Proposicin Sea A una fbf de L e I una interpretacin de L. Entonces I |= A si y slo si I |= (x )A. Corolario Sean y1 , . . . yn variables de L, sea A una fbf de L e I una interpretacin de L. Entonces, I |= A si y slo si I |= (y1 ) . . . (yn )A.

Author

Short Paper Title

Frmulas cerradas y verdad en una interpretacin

Lema Sea A una fbf de L e I una interpretacin de L. Si V y son valoraciones tales que V (x ) = (x ) para toda variable libre x que ocurre en A entonces V satisface A si y slo si satisface A. Proposicin Sea A una fbf cerrada de L e I una interpretacin de L. Entonces, I |= A o I |= A.

Author

Short Paper Title

Verdad Lgica
Frmula lgicamente vlida Sea una fbf A de I .
1

A es lgicamente vlida si y slo si para toda interpretacin I m A es verdadera en I . A es insatisfacible si y slo si para toda interpretacin I , A es falsa en I . A es satisfacible si y slo si existe una interpretacin I y una valoracin en I tal que V satisface A en I .

Proposicin Sean A y B fbfs de L. Si A y (A B ) son lgicamente vlidas entonces B es lgicamente vida.

Author

Short Paper Title

Verdad Lgica

Proposicin Sean A y B fbfs de L. A es lgicamente equivalente a B si y slo si la fbf (A B ) es lgicamente vlida.

Author

Short Paper Title

Consecuencia lgica y Modelos


Denicin (Modelo) Dada una fbf cerrada A de L, decimos que una interpretacin I es modelo de A sy y slo si la fbf A es verdadera en la interpretacin I . Ejemplo
1

La interpretacin del ejemplo de la diapositiva 8 no es modelo de la fbf de L,


2 2 (x1 )(x2 )(x3 )R1 (g1 (x1 , x3 ), x2 ).

La interpretacin del ejemplo de los seres vivos es modelo de la fbf de L, (x )(P (x ) Q (x )) ((x )P (x ) (x )Q (x )) Sin embargo no es un modelo de la fbf de L,
Author Short Paper Title

Consecuencia lgica y Modelos

Denicin Sea un conjunto de fbfs cerradas de L, sea I una interpretacin de L. I es modelo de si y slo si I es modelo para cada una de las frmulas de .

Author

Short Paper Title

Consecuencia lgica y Modelos

Denicin Sea un conjunto de fbfs cerradas de L.


1

es vlido si y slo si para toda interpretacin I es modelo de . es insatisfacible si y slo si no existe una interpretacin I de L que sea modelo de . es satisfacible si y slo si existe una interpretacin I de L que es modelo de .

Author

Short Paper Title

Anda mungkin juga menyukai