Parte I: Lgica de Predicados( Jueves 27 de Marzo a Jueves 3 de Abril) [5] Definicin: Una frmula bien formada (frecuentemente diremos

simplemente frmula) es una secuencia finita de s mbolos del len!ua"e predicativo cu#a construccin se enmarca dentro de las si!uientes re!las$ a) %oda frmula atmica es frmula b) &i ' # ( son frmulas) tambi*n lo son$ (+')) (' , ()) (' v ()) (' - ()) (' . () c) &i ' es una frmula) # / es una variable) entonces /' ) # /' es una frmula0 d) &lo las e1presiones construidas se!2n (a)) (b) # (c) son frmulas 3"emplos$ (i) &on frmulas) por ser frmulas atmicas) las si!uientes$ v4 5 v6 ) 1 5 #) a 5 1) b 5 b) 7 3abd) 86111110 (ii) (iv) (v) (vi) (a 5 # , 731#b) es frmula 1 # (a 5 # , 7211) es frmula a741) 9: es frmula 1 #) 9: es frmula (iii) (a 5 b - 841) . (73a1# v 84b) es frmula

[6] Observacin. Adoptaremos las si!uientes convenciones$ (i) ;uando no se !enere ambi!<edad) podemos eliminar al!unos par*ntesis) o a!re!ar par*ntesis innecesarios 0 %ambi*n usaremos par*ntesis cuadrados0 (ii) 3n frmulas atmicas con s mbolo predicativo) podremos escribir los t*rminos entre par*ntesis separados por comas0 76(a)b)1)d)c)0 (iii) =ara disminuir la cantidad de par*ntesis) se entender> ?ue el conectivo de ne!acin se aplica a tan poco como sea posible0 @ @ @ =or e"emplo) la frmula 76ab1dc la escribiremos

Lectura intuitiva de las frmulas cuantificadas$ 1 A para cada 1 se cumple la afirmacin A sea cual sea el ob"eto 1 considerado) se cumple A 1A 3"emplos$ ;onsideremos un !rupo de personas) a.;laudia) 7 2. esta persona es BermanoCa de esta persona0 i) 1 72(1)a) $ e1iste al menos una persona del !rupo ?ue es Bermana de ;laudia ii) 1 72(#)a) $ cada persona del !rupo es Bermana de ;laudia iii) 1 # 72(1)#) $ cada persona del !rupo tiene al menos un Bermano en el !rupo iv) 1 # 72(1)#)$ Ba# al menos una persona ?ue es BermanoCa de todas las del !rupo v) 1 # (72(1)#) - 72(1)a)) $ &ean cuales sean las personas ?ue consideremos) si son Bermanos entonces la primera es Bermana de ;laudia0 [7] Definicin: Diremos ?ue una variable ?ue aparece libre (en una frmula dada) si fi!ura en al menos un lu!ar de la frmula sin caer dentro del >mbito de un cuantificador referido a ella ( a la variable)0 Una frmula en la ?ue no aparecen variables libres ser> llamada :7A;EF90 i) ( 1 =2(1)#)) , +72(1)#) 9: es oracin) la 1 est> libre ii) 1 G =2(1)#) , +72(1)#)H 9: es oracin) la 1 no est> libre pero la # s lo est> iii) 1 # G =2(1)#) , +72(1)#)Hs es oracin iv) 1 G =2(1)#) , # +72(1)#)H 9: es oracin v) 1 (15 #) no es oracin) 1 # (15 #) s es oracin vi) a 5 b) s es oracin [ ] Definicin. &ea I un con"unto de s mbolos de constante #Co de predicado0 Una interpretacin para I consiste en$ fi"ar un con"unto no vac o) U) ?ue llamaremos universo discursoJ asi!nar a cada s mbolo de constante de I un ob"eto de UJ # asi!nar a cada e1iste al menos un ob"eto 1 tal ?ue se cumple la afirmacin A

s mbolo de relacin n+ario de I una relacin (de cual?uier tipo) entre ob"etos de U ) ?ue involucre e1actamente n ob"etos0 3"emplo$ &ea I . K a) b) 84 L Msta es una interpretacin para I %omemos U . n2meros naturales a.N b.7 8 4 . este n2mero es par (9ota$ Al unir todos estos elementos podemos producir oraciones con sentido completo # valor de verdad) [ ] Definicin !"#e$definicin%& Un con"unto ?ue consta de s mbolos de predicado #Co s mbolos de constante) ser> llamado un sublen!ua"e del len!ua"e de primer ordenJ o m>s brevemente) un len!ua"e de primer ordenJ o m>s brevemente) un len!ua"e0

;ontinuara000