Parte I: Lgica de Predicados (Lgica de Primer Orden)

(Viernes 14de Marzo a Viernes 25 de Abril)

1! "e#nicin: Llamaremos leng$a%e &ormal o 'redicati(o ( o de 'rimer orden) al con%$nto
de los sig$ientes s)mbolos* agr$'ados en las categor)as sig$ientes:
i) +)mbolos de (ariable: ,* -* z* (* $* .* -1* -2 / / /etc/
ii) +)mbolos de constante: a* b* c* d* a1* a2 / / /etc/
iii) +)mbolos de 'redicado ( o relacin): P
1
* 0
1
* 1
1
* 1
1
1* 1
1
2* 1
1
2* 1
2
/ / /etc/ "e estos s)mbolos* los
3$e tienen s$'er)ndice 4n5 son llamados s)mbolos de 'redicado n6ario/ Por e%em'lo* 1
5
es 56
ario* 7
5
tambi8n* 0
29
es 296ario* etc/
i() :$anti#cadores: ($ni(ersal)* (e,istencial)
() +)mbolo de ig$aldad: ;
(i) :onecti(os lgicos: 6 * (* < * =
(ii) Par8ntesis: ( )
2! Obser(acin: >ste no es >L leng$a%e 'redicati(o* sino ?@ leng$a%e 'redicati(o/
2!"e#nicin: >n con%$nto* los s)mbolos de (ariable - los de constante serAn llamados
t8rminos del leng$a%e 'redicati(o/
4!"e#nicin: ?na &rm$la atmica es $na e,'resin del leng$a%e 'redicati(o 3$e tiene $na
de las dos &ormas sig$ientes:
(a) t1

; t2* donde t1

- t2 son t8rminos/
(b) A
n
t1*

t2*

t2/ / /tn

donde A
n
re'resenta $n s)mbolo de 'redicado n6ario* - los ti son 4n5
t8rminos/
>%em'los:
i) (2 ; (5 es &rm$la atmicaB tambi8n , ; - * a ; - * c ; b
ii) 1
2
1(* a* - es &rm$la atmicaB tambi8n 0
5
a* b* c* d* eB tambi8n P
1
a/
iii) P
2
(* a @O es &rm$la atmica/
() 0
2
; b @O es &rm$la atmicaB tam'oco , ; a-
5! "e#nicin: ?na &rm$la bien &ormada (&rec$entemente diremos sim'lemente 4&rm$la5)
es $na sec$encia #nita de s)mbolos del leng$a%e 'redicati(o c$-a constr$ccin se enmarca
dentro de las sig$ientes reglas:
a) 7oda &rm$la atmica es &rm$la
b) +i C - D son &rm$las* tambi8n lo son: (6C)* (C < D)* (C ( D)* (C = D)* (C E D)
c) +i C es $na &rm$la* - 4F5 es $na (ariable* entonces 4 FC5 * - 4 FC5 es $na &rm$la/
d) +lo las e,'resiones constr$idas segGn (a)* (b) - (c) son &rm$las
>%em'los:
(i) +on &rm$las* 'or ser &rm$las atmicas* las sig$ientes: (1 ; (5 * , ; -* a ; ,* b ; b* 1
2
abd*
0
5
,,,,,/
(ii) (a ; - < 12,-b) es &rm$la
(iii) (a ; b = 0
1
,) H (1
2
a,- ( 0
1
b) es &rm$la
(i() , - (a ; - < 1
2
,,) es &rm$la
(() a1
1
,* @O es &rm$la
((i) , -* @O es &rm$la
I! Obser(acin/ Ado'taremos las sig$ientes con(enciones:
(i) :$ando no se genere ambigJedad* 'odemos eliminar alg$nos 'ar8ntesis* o agregar
'ar8ntesis innecesarios / 7ambi8n $saremos 'ar8ntesis c$adrados/
(ii) >n &rm$las atmicas con s)mbolo 'redicati(o* 'odremos escribir los t8rminos entre
'ar8ntesis se'arados 'or comas/ Por e%em'lo* la &rm$la 1
5
ab,dc la escribiremos
1
5
(a*b*,*d*c)/
(iii) Para dismin$ir la cantidad de 'ar8ntesis* se entenderA 3$e el conecti(o de negacin se
a'lica a tan 'oco como sea 'osible/

Lect$ra int$iti(a de las &rm$las c$anti#cadas:
, K 4'ara cada , se c$m'le la a#rmacin K 5
4sea c$al sea el ob%eto , considerado* se c$m'le K5
, K 4e,iste al menos $n ob%eto , tal 3$e se c$m'le la a#rmacin K5
>%em'los: :onsideremos $n gr$'o de 'ersonas* aH:la$dia* 1
2
H esta 'ersona es LermanoMa de
esta 'ersona/
i) , 1
2
(,*a) : e,iste al menos $na 'ersona del gr$'o 3$e es Lermana de :la$dia
ii) , 1
2
(-*a) : cada 'ersona del gr$'o es Lermana de :la$dia
iii) , - 1
2
(,*-) : cada 'ersona del gr$'o tiene al menos $n Lermano en el gr$'o
i() , - 1
2
(,*-): La- al menos $na 'ersona 3$e es LermanoMa de todas las del gr$'o
() , - (1
2
(,*-) = 1
2
(,*a)) : +ean c$ales sean las 'ersonas 3$e consideremos* si son
Lermanos entonces la 'rimera es Lermana de :la$dia/
N! "e#nicin: "iremos 3$e $na (ariable 3$e a'arece libre (en $na &rm$la dada) si #g$ra en
al menos $n l$gar de la &rm$la sin caer dentro del Ambito de $n c$anti#cador re&erido a ella
( a la (ariable)/ ?na &rm$la en la 3$e no a'arecen (ariables libres serA llamada O1A:IO@/
i) ( , P
2
(,*-)) < 61
2
(,*-) @O es oracin* la 4,5 estA libre
ii) , P
2
(,*-) < 61
2
(,*-)! @O es oracin* la 4,5 no estA libre 'ero la 4-5 s) lo estA
iii) , - P
2
(,*-) < 61
2
(,*-)!s) es oracin
i() , P
2
(,*-) < - 61
2
(,*-)! @O es oracin
() , (,; -) no es oracin* , - (, ; -) s) es oracin
(i) a ; b* s) es oracin
P! "e#nicin/ +ea 4L5 $n con%$nto de s)mbolos de constante -Mo de 'redicado/ ?na
inter'retacin 'ara L consiste en: #%ar $n con%$nto no (ac)o* 4?5* 3$e llamaremos $ni(erso
disc$rsoB asignar a cada s)mbolo de constante de L $n ob%eto de ?B - asignar a cada s)mbolo
de relacin n6ario de L $na relacin (de c$al3$ier ti'o) entre ob%etos de ?* 3$e in(ol$cre
e,actamente 4n5 ob%etos/
>%em'lo: +ea L H Q a* b* 0
1
R
Ssta es $na inter'retacin 'ara L
7omemos ? H nGmeros nat$rales
a H 4
b H N
0
1
H 4este nGmero es 'ar5
(@ota: Al $nir todos estos elementos 'odemos 'rod$cir oraciones con sentido com'leto -
(alor de (erdad)
T! "e#nicin (Ure6de#nicinV): ?n con%$nto 3$e consta de s)mbolos de 'redicado -Mo
s)mbolos de constante* serA llamado $n s$bleng$a%e del leng$a%e de 'rimer ordenB o mAs
bre(emente* $n leng$a%e de 'rimer ordenB o mAs bre(emente* $n leng$a%e/
19! "e#nicin: "ado $n leng$a%e L* sea 4M5 $na inter'retacin 'ara L/ >ntonces* si
re'resentamos con 4t5 a alg$no (c$al3$iera) de los s)mbolos de constante de L* denotaremos
t al ob%eto del $ni(erso disc$rso 4?5 3$e La sido asignado al s)mbolo t/ W lo mismo 'ara los
s)mbolos de 'redicado
MAs aGn* escribiremos
~
e 'ara designar $n ob%eto de ? incl$so si no es 4e5 $n s)mbolo de
L/
>%em'lo: L H Qa* b* 0
1
R
La inter'retacin M la describiremos as):
? H nGmeros nat$rales
a X H 4
b

b H N
0
1

Y
1
H 4ser 'ar5

11! "e#nicin: +ea L $n leng$a%e* - sea M $na inter'retacin 'ara L/ +i t1*

t2*

t2/ / /tn son
s)mbolos de constante 3$e estAn en L* la a#rmacin M es modelo de $na oracin t1

; t2

(o
sinnimamente* t1 ; t2

es (erdadera en M) se simboliza M IH t1

; t2* - se de#ne as)/

M IH t1

; t2 si - slo si t
1 H t
2
W si ademAs Z
n
o $n s)mbolo de relacin n6aria 3$e estA en L* de#nimos:
M IH Z
n
t1*t2* / / /tn
tiene la relacin

K
n
esto Gltimo lo escribiremos as):

K
n
t
1* t
2*/ / / t
n !/
+)mbolos
de L
Ob%etos
de ?
>%em'lo: :on L H Qa* b* 0
1
R - con M :
? H nGmeros nat$rales
a X H 4
b
~
b H N
0
1

Y
1
H 4ser 'ar5
U+e c$m'le M IH 0
1
(a)* o noV
1es'$esta:
M IH 0
1
(a) : M (a a ser modelo de la &rm$la 0
1
(a) si - slo si el ob%eto X H 4 tiene
la 'ro'iedad Y
1
H 4ser 'ar5B en res$men* M IH 0
1
(a) si - slo si 4 es 'ar/ As) 3$e s) se c$m'le
M IH 0
1
(a)/
>n cambio* M I[ 0
1
(b): en e&ecto M IH 0
1
(b) si - slo si Y
1
(

b )* o sea* si - slo si el
nGmero N es 'ar/
W M I[ a ; b* 'or3$e M IH a ; b si - slo si X H
~
b *es decir* si slo si 4HN/
12! "e#nicin: +ea L $n leng$a%e - M inter'retacin 'ara L/ Para cada oracin K en L (esto
es* cada oracin del leng$a%e &ormal 3$e no tenga s)mbolos de constante -Mo relacin &$era
de los de L)* de#niremos la a#rmacin 4M es modelo de K5 (o e3$i(alentemente K es
(erdadera en M) del modo sig$iente:
(a) +i K es atmica* se de#ni en 11!
(b) M IH (6K) si - slo si M I[ K
(c) +i KH(D < \)* M IH (D < \) si - slo si M IH D - M IH \
(d) +i KH(D ( \)* M IH (D ( \) si - slo si M IH D -Mo M IH \
(e) +i KH(D = \)* M IH (D = \) si - slo si M I[ D -Mo M IH \
(&) M IH F K si - slo si 'ara cada ob%eto e ] ? (si 'ara cada ob%eto se c$m'le 3$e
e,iste en ?)
(g) M IH F K si - slo si La- al menos $n ob%eto e en ? tal 3$e M IH K(
k

)/
12! "e#nicin: +i K es $na &rm$la en L* 4F5 $n s)mbolo de (ariable* - e $n ob%eto del
$ni(erso ? de $na inter'retacin M 'ara L* entonces la e,'resin K(
k

) se inter'retarA
como la misma &rm$la K* 'ero tratando a 4F5 como si &$era $na constante 3$e nombra al
ob%eto e / Por e%em'lo* si K H 1
2
(-* b)* entonces K(
y

) la escribimos 1
2
(
y

* b) - la
inter'retamos como si &$ese 1
2
(
~
c *
~
b ) con
~
c H
~
e * es decir* como si a#rmara 3$e se
c$m'le 1
2
( e *
~
b )/
>%em'los: +ea L H Qa* b* c* 0
1
* 1
2
R
W sea MH
?H nGmeros nat$rales
X H 4

~
b H N

~
c H P
Y
1
H 4ser 'ar5
^
2
H 4este nGmero es ma-or 3$e este nGmero5
(i) U M IH 0
1
(b) < 0
1
(c)V
1es'$esta: M IH 0
1
(b) < 0
1
(c) si - slo si M IH 0
1
(b) - M IH 0
1
(c)
si - slo si Y
1
(

b ) - Y
1
(
~
c )
si - slo si 4N es 'ar5 - 4P es 'ar5
"ado 3$e la con%$ncin es &alsa* entonces M I[ 0
1
(b) < 0
1
(c)
(ii) UM IH , 1
2
(,* c) V
1es'$esta: M IH , 1
2
(,* c) si - slo si 'ara cada e nGmero nat$ral se c$m'le 3$e
M IH 1
2
(
x

* c) si - slo si 'ara cada e nGmero nat$ral ^

2
( e *
~
c )
si - slo si 'ara cada e nGmero nat$ral * e _ P
"ado 3$e esto no se c$m'le* entonces M I[ , 1
2
(,* c)
(iii) UM IH , (1
2
(,* b) = 1
2
(,* c))V
1es'$esta: M IH , (1
2
(,* b) = 1
2
(,* c) si 'ara cada e ]
se tiene 3$e M IH (1
2
(
x

* b) = 1
2
(
x

* c)
si - slo si 'ara cada e ] se tiene M I[(1
2
(
x

* b) -Mo M IH1
2
(
x

* c)
si - slo si 'ara cada
~
e ] se tiene @o ^
2
( e *

b ) -Mo ^
2
( e *
~
c )
si - slo si 'ara cada e ] se tiene 4 @o e _ N5 -Mo 4 e _ P5
W esto es &also 'or3$e con e H P* ambas son &alsas/ L$ego M I[ , (1
2
(,* b) = 1
2
(,* c)

14! "e#nicin: +ea K $na oracin en L ('odr)a ser L (ac)o)/ "iremos 3$e K es (Alida (o
lgicamente (erdadera) si M IHK 'ara toda inter'retacin M 'ara L (es decir* si K es (erdadera
en toda inter'retacin 'ara L)/ +i K es (Alida escribiremos IHK/
>%em'los:
(i) U IH1
2
(a* b)V 1es'$esta
1
: @O
LH Qa* b* 1
2
R/ 7omemos M: ? H QPedro* el 'adre de PedroR
X H Pedro

b H >l 'adre de Pedro

^
2
H 4esta 'ersona es ma-or 3$e esta 'ersona5
>ntonces M I[1
2
(a* b)* 'or3$e M IH1
2
(a* b) si - slo si ^
2
(X*

b )* si - slo si 4Pedro es ma-or

3$e el 'adre de Pedro5/ W esto es &also/
(ii) UIH (a ; b) = ( b ; a)!V
1es'$esta: +ea M $na inter'retacin c$al3$iera 'ara L H Qa* bR/
>ntonces: M IH(a ; b) = ( b ; a)! si - slo si M I[(a ; b) -Mo M IH( b ; a)!*
si - slo si no oc$rre X H
~
b -Mo

b H X/
W esto es cierto* 'or lo tanto IH (a ; b) = ( b ; a)!/

1 +e m$estra 3$e no es (Alida se`alando al menos $na inter'retacin en donde se ($el(a in(Alida/
15! "e#nicin: +ea K $na oracin en L* - sea a $n con%$nto de oraciones en L/ "iremos 3$e
K es consec$encia lgica de a* denotado a IH K* si no e,iste inter'retacin alg$na 'ara L tal
3$e es modelo de (todas) las oraciones de a - no es modelo de K/
>%em'lo: U Q1
1
(b)R IH , 1
1
(,) V
+i M es $na inter'retacin 'ara LH bb* 1
1
_* tenemos:
M IH 1
1
(b) si - slo si ^
1
(

b )* - 'or otro lado M IH , 1
1
(,)
si - slo si e ] ? tal 3$e ^
1
( e )
Por lo tanto* no debe oc$rrir 3$e M IH 1
1
(b) - sim$ltAneamente M I[ , 1
1
(,)
>%ercicio(i): "emostrar 3$e QK* 6KR IH D* 'ara c$al3$iera &rm$las K* D/
@ota: Para este e%ercicio el 'ro&esor Lizo $nos comentarios de los 3$e no tom8 a'$nte!
>%ercicio(ii): "emostrar 3$e Q , 1
1
(,)R M I[ 1
1
(b)
7enemos LHbb* 1
1
_* - MQ ?H nc nat$ralesB ^
1
H 4ser 'ar5B

b H NR
>ntonces M IH , 1
1
(,) (e,iste $n nc nat$ral e tal 3$e e es 'ar)
Pero M I[ 1
1
(b) (ig$almente* no es (erdad 3$e

b H N es 'ar)

1I! "e#nicin: ?n con%$nto de oraciones en L serA llamado satis&actible si e,iste $na
inter'retacin 'ara L 3$e es modelo de todas las oraciones del con%$nto/
1N! 7eorema: a IH K si - slo si a ? Q6KR es insatis&actible/
:dL:?LO ">"?:7IVO:
:onecti(o: 6 * =
:$anti#cador:
7rad$ccin de &orm$las:
( K ( D) abre(ia la &rm$la ( 6K = D)
( K < D) abre(ia la &rm$la 6( K = 6D)
( K E D) abre(ia la &rm$la ( K = D) < ( D = K)
, K abre(ia la &rm$la 6 , 6K
1P! "e#nicin: Llamaremos a,ioma lgico (o sim'lemente a,ioma) a cada &rm$la 3$e
tenga (al menos) $na de las &ormas sig$ientes:
1! 7a$tolog)as de 'rimer orden/
2! , K = K(
x
t
) con la (ariable s$stit$ible 'or el t8rmino 4t5/
2! , ( K = D)! = ( , K) = ( , D )!/
4! K = , K si 4,5 no a'arece libre en K /
5! , ; ,
I! ( , ; -) = (K = Ke) * donde K es atmica - Ke se obtiene de K s$stit$-endo 4,5 'or 4-5
en los l$gares 3$e se 3$iera/
N! 7oda generalizacin $ni(ersal de $n a,ioma* - todo e3$i(alente de $n a,ioma con otra
(ariable/
1T! Obser(acionesM"e#niciones: ?na generalizacin $ni(ersal de $na &rm$la (a,ioma N!)
se obtiene ante'oniendo a la &rm$la $n c$anti#cador $ni(ersal con s$ corres'ondiente
(ariable/ Por e%em'lo:
- 1
2
(a* b) es generalizacin $ni(ersal de 1
2
(a* b)
?na ta$tolog)a de 'rimer orden es $n &rm$la 3$e 'rod$ce $na ta$tolog)a 'ro'osicional
si* al ir 4de a&$era Lacia dentro5* cada s$b6&rm$la 3$e comienza con $n c$anti#cador se
s$stit$-e 'or $na letra 'ro'osicional* - cada &rm$la atmica 3$e 3$ede* tambi8n/
finalmente* 'ara el a,ioma 2! Labr)a 3$e de#nir 4(ariable s$stit$ible 'or $n t8rmino5*
'ero en l$gar de Lacerlo * slo as$miremos 3$e en los e%em'los 3$e consideremos * eso
siem're oc$rrirA/
>%em'los: (los com'letar8 'r,imamente)
29! "e#nicin: "ado $n con%$nto a de &rm$las ('odr)a ser (ac)o)* llamaremos ded$ccin
&ormal a 'artir de a a cada s$cesin #nita de &rm$las tal 3$e cada $na de tales &rm$las
c$m'le con al menos $na de las sig$ientes condiciones:
(i) >s $n a,ioma lgico/
(ii) >s $na de las &rm$las de a/
(iii) >n $na &rm$la D tal 3$e en la ded$ccin &ormal Lan a'arecido con anterioridad
&rm$las 4K = D5 - 4K5/

La Gltima &rm$la de la ded$ccin &ormal serA llamada concl$sin (de la ded$ccin &ormal)*
- las &rm$las del con%$nto a serAn llamadas 'remisas/
finalmente* el s)mbolo a Ig K signi#carA 3$e e,iste $na ded$ccin &ormal a 'artir de a
3$e tiene como concl$sin K/
21! "e#nicin: La regla (iii) de 29!* 3$e a$toriza a agregar a $na ded$ccin &ormal $na
&rm$la D en caso de Laber a'arecido con anterioridad &ormal 4K = D5 - 4K5* se llama
Modus ponendo ponens (o sim'lemente Modus ponens)* - la abre(iaremos M/ P/
>%em'los: (los com'letar8 'r,imamente)
:ontin$ara / / /