Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
(a y ^ R3xyb) es frmula
x y (a y ^ R2xx) es frmula
(v)
aR1x, NO es frmula
(vi)
x y, NO es frmula
R5(a,b,x,d,c).
(iii) Para disminuir la cantidad de parntesis, se entender que el conectivo de negacin se
aplica a tan poco como sea posible.
Lectura intuitiva de las frmulas cuantificadas:
x para cada x se cumple la afirmacin
sea cual sea el objeto x considerado, se cumple
x
i) x R2(x,a) : existe al menos una persona del grupo que es hermana de Claudia
ii) x R2(y,a) : cada persona del grupo es hermana de Claudia
iii) x y R2(x,y) : cada persona del grupo tiene al menos un hermano en el grupo
iv) x y R2(x,y): hay al menos una persona que es hermano/a de todas las del grupo
v)
y (R2(x,y) R2(x,a)) : Sean cuales sean las personas que consideremos, si son
x (x y) no es oracin, x y (x y) s es oracin
vi) a b, s es oracin
[8] Definicin. Sea L un conjunto de smbolos de constante y/o de predicado. Una
interpretacin para L consiste en: fijar un conjunto no vaco, U, que llamaremos universo
discurso; asignar a cada smbolo de constante de L un objeto de U; y asignar a cada smbolo
de relacin n-ario de L una relacin (de cualquier tipo) entre objetos de U, que involucre
exactamente n objetos.
Ejemplo: Sea L = { a, b, Q1 }
sta es una interpretacin para L
Tomemos U = nmeros naturales
a=4
b=7
Q1 = este nmero es par
(Nota: Al unir todos estos elementos podemos producir oraciones con sentido completo y
valor de verdad)
al objeto del universo discurso U que ha sido asignado al smbolo t. Y lo mismo para los
smbolos de predicado
Ms an, escribiremos ~e para designar un objeto de U incluso si no es e un smbolo de
L.
Ejemplo: L = {a, b, Q1}
La interpretacin M la describiremos as:
U = nmeros naturales
a
=4
b = 7
Q1
1 = ser par
Smbolos
de L
Objetos
de U
[11] Definicin: Sea L un lenguaje, y sea M una interpretacin para L. Si t 1, t2, t3. . .tn son
smbolos de constante que estn en L, la afirmacin M es modelo de una oracin t 1 t2 (o
sinnimamente, t1 t2 es verdadera en M) se simboliza
I= t1 t2 si y slo si t
= t
tiene la relacin
I= Kn t1,t2, . . .tn
, t
,. . . t
].
=4
~
b =7
Q1
1 = ser par
Se cumple
I= Q1(a), o no?
Respuesta:
M
I= Q1(a).
En cambio, M I Q1(b): en efecto M I= Q1(b) si y slo si 1 ( b ), o sea, si y slo si el
nmero 7 es par.
Y M I a b, porque M I= a b si y slo si = ~
b ,es decir, si slo si 4=7.
[12] Definicin: Sea L un lenguaje y M interpretacin para L. Para cada oracin en L (esto
es, cada oracin del lenguaje formal que no tenga smbolos de constante y/o relacin fuera
de los de L), definiremos la afirmacin M es modelo de (o equivalentemente es
verdadera en M) del modo siguiente:
(a) Si es atmica, se defini en [11]
(b) M I= (-) si y slo si
(c) Si =( ^ ), M I= ( ^ ) si y slo si M I= y
I=
I=
I=
I=
e U (si para cada objeto se cumple que
existe en U)
(g) M I=
un objeto del
como la misma frmula , pero tratando a k como si fuera una constante que nombra al
~
c , b ) con ~
c = ~e , es decir, como si afirmara que se
interpretamos como si fuese R 2 ( ~
~
cumple R2( e , b ).
objeto
~
c =8
1 = ser par
2 = este nmero es mayor que este nmero
I= Q1(c)
c )
si y slo si 1( b ) y 1( ~
M
(ii) M I=
I Q1(b) ^ Q1(c)
x R2(x, c) ?
Respuesta: M I=
M
c )
I= R2( x , c) si y slo si para cada e nmero natural 2 ( e , ~
(iii) M I=
Respuesta: M I=
se tiene que
I= (R2( x , b) R2( x , c)
I=R2( x , c)
c )
si y slo si para cada ~e se tiene No 2 ( e , b ) y/o 2 ( e , ~
si y slo si para cada e se tiene
I(R2( x , b) y/o
Y esto es falso porque con e = 8, ambas son falsas. Luego M I x (R2(x, b) R2(x, c)
[14] Definicin: Sea una oracin en L (podra ser L vaco). Diremos que es vlida (o
lgicamente verdadera) si M I= para toda interpretacin M para L (es decir, si es verdadera
en toda interpretacin para L). Si es vlida escribiremos I=.
Ejemplos:
(i) I=R2(a, b)? Respuesta1: NO
L= {a, b, R2}. Tomemos M: U = {Pedro, el padre de Pedro}
= Pedro
b = El padre de Pedro
2 = esta persona es mayor que esta persona
Entonces
I=R2(a, b) si y slo si 2 (,
Se muestra que no es vlida sealando al menos una interpretacin en donde se vuelva invlida.
[15] Definicin: Sea una oracin en L, y sea un conjunto de oraciones en L. Diremos que
es consecuencia lgica de , denotado I= , si no existe interpretacin alguna para L tal
que es modelo de (todas) las oraciones de y no es modelo de .
Ejemplo: {R1(b)} I=
x R1(x) ?
I= R1(b) y simultneamente
I x R1(x)
I=
b = 7 es par)
( - )
( ^ ) abrevia la frmula -( -)
( ) abrevia la frmula
x
( ) ^ ( )
abrevia la frmula - x -
[18] Definicin: Llamaremos axioma lgico (o simplemente axioma) a cada frmula que
tenga (al menos) una de las formas siguientes:
[1] Tautologas de primer orden.
[2] x ( x ) con la variable sustituible por el trmino t.
t
[3] [ x ( )] [( x ) ( x )].
[4] x si x no aparece libre en .
[5] x x
[6] ( x y) ( *) , donde es atmica y * se obtiene de sustituyendo x por y
en los lugares que se quiera.
[7] Toda generalizacin universal de un axioma, y todo equivalente de un axioma con otra
variable.
[19] Observaciones/Definiciones: Una generalizacin universal de una frmula (axioma [7])
se obtiene anteponiendo a la frmula un cuantificador universal con su correspondiente
variable. Por ejemplo:
y R2(a, b) es generalizacin universal de R2(a, b)
Una tautologa de primer orden es un frmula que produce una tautologa proposicional
si, al ir de afuera hacia dentro, cada sub-frmula que comienza con un cuantificador se
sustituye por una letra proposicional, y cada frmula atmica que quede, tambin.
Finalmente, para el axioma [2] habra que definir variable sustituible por un trmino,
pero en lugar de hacerlo , slo asumiremos que en los ejemplos que consideremos , eso
siempre ocurrir.
Ejemplos Axioma [1] (Tautologas de primer orden):
x P1(x) P1(a) No es tautologa de primer orden: P Q
En cambio :
P )
(Premisa)
(x y) (x x y x) (Axioma [6])
(x x) (y x)
(M. P)
x x
(Axioma [5])
y x
(M. P)
, se llama
(Premisa)
y (a y) a b
(Axioma [2])
ab
(M. P)
a b [(a b) v (R1(c))]
(Axioma [1])
a b v R1(c)
(M. P)
x [P1(x) I1(x)]
(Premisa)
(Axioma [2])
P1(a) I1(a)
(M. P)
P1(a)
(Premisa)
I1(a)
(M. P)
*
(Premisa)
R1(a) Q1(b)
(Premisa invlida)
Q1(b)
(M. P)
*
x .
I=
Completud: I=
1 = ser par
2 = este nmero es mayor que este nmero
MODELO DE TEORAS:
[30] Definicin: Sea L un lenguaje, y sea un conjunto de oraciones de L. Una interpretacin
M para L ser llamada modelo de si es modelo de cada oracin de (es decir, si
I= para
cada ). Notacin: M I= .
[31] Definicin: Si es un lenguaje de oraciones, la notacin Mod() denotar la clase de
todos los modelos de .
[32] Definicin:
[33] Notacin/Observacin:
[34] Definicin:
[35] Definicin: