3 Lenguajes de primer orden.pdf

52

Transcript of 3 Lenguajes de primer orden.pdf

Page 1: 3 Lenguajes de primer orden.pdf

����������� ����������������� ������� !"##"�$%�&"'()()( *+,-./01123+456789:;<=7>95<6?@>?@5<?>A=B@C>D67765E=9B6:?>:>D@8@>597F6D<=A@9C>D656D<6765E=9B67>G=6D@E5@H89I986?=5?9J>59C@65<>8>??68<>C6A@95<6678>586:<>A6@C:7@898@K5D6CL5<@89M4D<>:6?C@<;9<?9D79A9?8@6?<>D?9J>59C@65<>D676C65<976D97765E=9B6A6797KE@89MNI>?9O@65P<>C6C>D67D@E=@65<66B6C:7>A6A6A=88@K5MQ=:>5E9C>DG=66D<9O7686C>DG=6RSTSUVSUWSXYZ[UUS\XSZR]V[UFG=6 _Z]R[U[Ua\WSXYZ[b45<9789D>P:>A6C>D>O<656?8>C>8>587=D@K5G=6 _Z]R[U[UXSZR]Vb4D<6?9J>59C@65<>6D7>G=6D68>5>868>C>UcVSdcUXSPFe=6e>?C=79A>:>?:?@C6?9f6J:>?N?@D<K<676DM4D<9A6A=88@K55><@65689O@A9A65<?>A6797KE@89:?>:>D@8@>597Mg>D65=58@9A>D _Z]R[U[Ua\WSXYZ[F _Z]R[U[UXSZR]VD>565=58@9A>DD@C:76DPG=665797KE@89:?>:>D@8@>597f65A?;95?6:?6D65<9A>D8>C>A>DeK?C=79D9<KC@89DPF:>?<95<>D@55@5E=59?6798@K565<?66779DMh6?>655=6D<?>89D>P=59:9?<6A69CO>D65=58@9A>Di67D=B6<>j6D8>Ck5P7>8=97B=6E9=5:9:67A68@D@f>6579A6A=88@K5G=6989O9C>DA6I986?Mg>G=65>DI9?;9e97<96D:>A6?D6:9?9?A6=565=58@9A>D@C:76i8>C> _Z]R[U[Ua\WSXYZ[79D:9?<6DG=67>8>5D<@<=F65P6DA68@?P67D=B6<>i_Z]R[UjF67:?6A@89A>iU[ZWSXYZ[jMl6D<9D:9?<6D:>A6?8>CO@59?79D:9?9e>?C9?5=6f>D65=58@9A>DMm686D@<9C>D65<>586D9C:7@9?797KE@89:?>:>D@8@>597A6e>?C9G=6D6:=6A956n<?96?79D:9?<6DG=6@5<6?f@656565=59:?>:>D@8@K5OLD@89F8>CO@59?79D65<?66779DMh>?<95<>P655=6D<?>5=6f>765E=9B679D:?>:>D@8@>56D9<KC@89DF95>D6?L5>OB6<>D@5A@f@D@O76DPD@5>G=66D<9?L58>5D<@<=@A9D:>?=5D=B6<>F=5:?6A@89A>Mg>D>OB6<>DG=6:=6A95D6?D=B6<>A697E=59eK?C=799<KC@89D6A65>C@59?L5RoZXc\SUbl<65A?6C>D65<>586D=5765E=9B68>5D<@<=@A>:>?=59D6?@6A6>OB6<>Di<p?C@5>DjD>O?67>DG=6:>A?6C>DI986?9H?C98@>56Di:?6A@89A>Djq>C>6B6C:7>Pf9C>D9HB9?=5:?6A@89A>PA@E9C>DU[ZXSZR]VPFD=:>5E9C>DG=6<656C>D=58>5B=5<>8>5:>D@O76DD=B6<>Di:>A?;9D6?678>5B=5<>A6<>A9D79D:6?D>59DjM45<9789D>P:>A6C>D8>5D<?=@?>?98@>56D8>C>rQK8?9<6D6DC>?<97MN=?>?96DC>?<97Ms>A>D7>DI>CO?6DD>5C>?<976DMN7E=5>DI>CO?6DD>5C>?<976DM47:9A?6A6QK8?9<6D6DC>?<97M47:9A?6A679C9A?6A6N=?>?96DC>?<97M tu

Page 2: 3 Lenguajes de primer orden.pdf

�� ����������� �������������������������������������������������������������� !�����������������������"�������������#������������������������������������������������$���������������#��%������������������������#����������&!�����������������'�������"�����������(����#����'��)����*�������+�����������$��������,��#���"��'����,��#���%!�������-��������������"�����������#�)������#�������������������������"�����������������"����,���������.�������������#����*���(��,�����������������������&/���(����,���������������������.����01213413562783319:1706483*����������(���������������������"�����������������������������#�����;�������������'����<�������&!������'�����������������������'��������������������������<����������������������������(�#������������������������������&/�������������������������*���������������3=:>141328?19306908"��������'�������,��+�.����������(�#����*������������3=:>141328@67A6>48<�������-�����������������3=:>141328BC9?AD9EF��G�HG�������������������������������"G��������#��������������&/���(���������"����������"����'����ID?7608383:17064����*������������'�����������������&J��������������������-���������&K;������������&K;��������������'����&K;�����������#������&K;����������'������.-�#��&L������������������������������#��������������������*��,���������H��������$����(����.���������������������MC717683A9084AN8908"O1213413P1:>783319076>6Q621783"64NC913P1:>783319QCN62178328BR0>14"845627828MC717683A9084AN8908"���&%&J��#�)���������.�������������������MC717683:S36406TC8ID?76083�845627828MC7176836:AN128ID?76083&/��������������������������'�������������������������������(�#������.�������*������������3=:>1413285782A?621�3=:>1413287846?AD9EUVWVXV YZ[\]_\ abZcadZaecfgZbZ_]hZ]i]bZaVj��������������������������#��*�)�������'�����������������&j����H�����������������(�#����*�����������������'����&klmnopoqnrstu9489NC6Q82857A:8717289v83C96wxC54628?19QC9013yz{|{}{~�EM413848:8901328z38483446:6�(�#���������������&M413848:8901328|38483446:6�(�#������G����#��&M413848:8901328}38483446:6�(�#������.����;�&M413848:8901328~38483446:6�(�#������������;�1�(�#���������������&�308?19QC901915C82838784?19QC901@6?=1E�626848:890128}�~0A898631?A621C99R:871960C764�TC8382891:A96������1��������8328?A7�0898:13213654A?6?A1983}���~���EM28:S3�C9489NC6Q82857A:8717289A9?4C�8213?19QC9013:S3283=:>1413�TC8319��4?19QC901��{�{�{�{���?C�13848:89013382891:A969�������G��E�4?19QC901��{���?C�13848:89013382891:A969��������������E�4?C690A�?6217�8384?C690A�?6217C9A@87364:A890763TC8�8384?C690A�?62178�A3089?A64E������������������ ��

Page 3: 3 Lenguajes de primer orden.pdf

���������������� ���� ���������������� !"#$%&'#(%)*&+$,!#-*$,%.%&/.0%!%&1*!!*$"#'2*!%&3')4$(*&+&53#*&&%$&/.0%!%&6#*&**.3!*'$'!*&,)+0+)!'&78).#!'&1*!!*$"#'2*�9%&%()%&:*.%&%3('1%3%)$%,%$&+1*)')!%&&/.0%!%&3)%3+%&1*!!*$"#'2*5&+$%&/.0%!%&'#;+!+')*&3')'7',+!+(')!'!*,(#)'�<�9%).'!.*$(*5$%*&3*,+=,')*.%&*!,%$2#$(%1*&/.0%!%&1*>')+'0!*�?$(*$1*)*.%&6#*1+,:%,%$2#$(%*&#$,%$2#$(%,%$!','$(+1'1&#=,+*$(*1**!*.*$(%&3')'*;3)*&')-.'$+3#!')!'&78).#!'&,%$!'&6#**&(*.%&()'0'2'$1%�?.3!*')*.%&$%).'!.*$(*!'&@!(+.'&!*()'&A.+$@&,#!'&B1*!'0*,*1')+%�C�D*',#*)1%,%$!'%0&*)>',+8$3)*,*1*$(*53')'1')#$!*$"#'2*(*$1)*.%&6#**&3*,+=,'),#E!*&&%$!%&&/.0%!%&1*,%$&('$(*51*7#$,+8$-1*)*!',+8$�F#'$1%1*.%&*&(%&1%&@!(+.%&5&+7#*)'$*,*&')+%!!*>')E$#$&#3*)/$1+,*6#*+$1+,'!'')+1'1�G�H')'!%&&/.0%!%&1*,%$&('$(**.3!*')*.%&:'0+(#'!.*$(*!'&3)+.*)'&!*()'&.+$@&,#!'&1*!'!7'0*(%5,%$&#0/$1+,*&&+7#*)'$*,*&')+%�I'&!*()'&J5K5*(,�3')'!%&&/.0%!%&1*7#$,+8$�L�H')'!%&&/.0%!%&1*3)*1+,'1%$%).'!.*$(*#&')*.%&!*()'&.'-@&,#!'&�M�9%%0&('$(*5&+6#*)*.%&1')#$!*$"#'2*1*3)+.*)%)1*$3')':'0!')*$#$1*(*).+$'1%,%$(*;(%53%1*.%&,'.0+')*&('&$%(',+%$*&-*.3!*')&/.0%!%&6#*$%&&#"+*)'$!%6#*>'$')*3)*&*$(')A3%)*2*.3!%5&+*&('.%&:'0!'$1%1*3*)&%$'&5#$&/.0%!%1*,%$&('$(*3#*1*&*)NOPQRSTN5#$&/.0%!%1*7#$,+8$URVQT-#$&/.0%!%1*3)*1+,'1%WTQXYOQSRZ�[�\$&/.0%!%1*7#$,+8$%1*3)*1+,'1%,#-'')+1'1&*'�1+)*.%&6#**&#$')+%%.%$')+%�]+(+*$*')+1'1<1+)*.%&6#**&0+$')+%�]+(+*$*')+1'1C51+)*.%&6#**&(*)$')+%�F#'$1%&#')+1'1&*' 1+)*.%&6#**& _')+%��I%&&/.0%!%&1*,%$&('$(*3#*1*$&*),%$&+1*)'1%&,%.%&/.0%!%&1*7#$,+8$a_')+%&A('.0+4$!!'.'1%&$#!')+%&B� 3')(+)1**&('&%0&*)>',+%$*&53')'1*&,)+0+)#$!*$"#'2*1*3)+.*)%)1*$1+)*.%&'!"%'&/,%.%b]*'c*!!*$"#'2*1*3)+.*)%)1*$,#-%&&/.0%!%&1*,%$&('$(*&%$defeg5,#-%&&/.0%!%&1*7#$,+8$&%$Jh5Ki5jh-,#-%&&/.0%!%&1*3)*1+,'1%&%$ki5lm5nh5oi�?$('!,'&%5*&('.%&1+,+*$1%6#*pqrdefegstuqrJeKejs5J-j&%$#$')+%&-K*&0+$')+%tvqrkeleneos�n*&.%$')+%5k-o&%$0+$')+%&-l*&(*)$')+%�w'&('':%)'5@$+,'.*$(*(*$*.%&!%&&/.0%!%&6#*>'.%&'#&')3')'*&,)+0+)*$$#*&()%!*$"#'2*�\$'78).#!'*$$#*&()%!*$"#'2*&*)E#$'&#,*&+8$1**&(%&&/.0%!%&2#$(%,%$!'&,%$*,(+>'&-,#'$(+=,'1%)*&A-3')4$(*&+&B�H*)%$%(%1'&#,*&+8$1*('!*&&/.0%!%&&*)E#$'78).#!'5&+$%6#*&*"#+)E$#$'&*)+*1*)*"!'&�x'.%&'1')':%)'!'&)*"!'&3')'5'3')(+)1**&(%&&/.0%!%&57%).')!%&1+&(+$(%&*!*.*$(%&1*!!*$"#'2*�F%.*$y'.%&1*=$+*$1%!%&(4).+$%&56#*('!-,%.%1+2+.%&*$!'+$()%1#,,+8$>'$'&*)!%&%02*(%&1*$#*&()%!*$"#'2*&%0)*!%&,#'!*&:')*.%&'=).',+%$*&�z�{������|}~WTRcq �pe�euev���ZT���R�TVTUQ�YTQOQVT���T���YONTZPO����SO�� ON�YUZTYT�ST�POYON���T�p����NVTP�Q�SOVONZONN�Y�OZONVTPO�NSR�STNO�TZTYT�SONVT������W�JTN��N�Y�OZOVT���P��� �RQ�O���he�ie���e����T�SO�PTNJ��he�ie���e������������� ¡¢�£¤ �¥¦�

Page 4: 3 Lenguajes de primer orden.pdf

�� ������������� ������������������������������������������� ����� ��������������!���������"#$ ��� �%�������"�� �� �%�&'()*+,-�� �������.#/0-(1230-4(*)1(05-126+70+,-7*81+9613,--:);,3,-718,+-&0+&1571<0(*0;31-,+&'()*+,-=/0(1230&1(81(0+,-7*818>),8,+-&(6*(+61<,-&'()*+,-040(&*(71&'()*+,-508,+-&(6*7,-=?,(@3&*),A30(1230860(&0+,-7*819611-&01-30@+*80B,()071,;&1+1(+61<,-&'()*+,-=CDEFGHIJKLKLKM��.� ���������!��%�������������N%�� ����������������OPQPRS����N%�� ����T����U����VWXYZ�[WS����N%�� ����!�����������\ZX]X_WX Z#a�����������b�%����cOPQPdPVeQfPYeOPdfP[eVeOffPYeYedPgfP[eRffPVeYeYedPgfP[eRfffP[e[e[e[e[e[eOffffffPYeOPOfhi�����b�%����cVeOPOfPVeYfPYedfP[ejfP[eYeOPQfPdfhak! ���%�������������U�� !����b������b�%����cVeOPOf�����b�%���!��� ���������V��lX ������ �!�����! ����������b�%���m�������X��%�����������n#VeYf�����b�%���!����� ���YX�����Y���N%�� ���T����U�#Yedf�����b�%���!���Y�����N%�� ���T����U��������X���lo����#[ejf�����b�%���!���j������� �%������ �������#[eYeOPQfPdf�����b�%���!���[�������N%�� ���T����U��������#i���%���U%� ���N%�� ����!���������������p������ �������T��%�� ���b�%����#q+0<1r71s+*7,-3,-&'()*+,-4,71),-70(3,961-,+30-B>()630-0&>)*80-=tEuvwxwyvzzKM��.{e|P}P~P�f�� ���������!��%����������������������b�%������"#�����%��� ����������TU�%� ����U%������ �������.��%�� ���������\e�WP�ZP���P��f�\�����N%�� ���!��������������P�WP�ZP���P���" �CDEFGHIJKLKzKM��.� ��������� ���%! ��#l#l#M��TU�%� ����U%���������� �������c\eOPdf�_e[eQff�]e[eVeOffPYeOPdfP[eRff� eYeYeOPOfPdfPVeRff�\eVe[eVe[eRffffPYeVedfP[eVeOffff�\eYedPgfPYeOPOff#i����TU�%� ����U%����c\eYeOPdff�_eVeYff�]eOPYedfP[ejff�]e_eOfPYeOPQfPVedff#�����U������������TU�%� ����U%������ca�� ������\eYeOPdff!�����\�����N%�� ���!���������������X����������������! �������� ����b�%���#a�� ������_eVeYff!�����VeYf�������b�%���X��%�p�%����� ���%! ���������#a�� ������]eOPYedfP[ejff!�����[ejf�������b�%���#a�� ������]e_eOfPYeOPQfPVedff!�����_eOf�������b�%���X�������TU�%� ���U%���#�������� ��%����%! �p�%�������� ����%���������N%�� ���!��������v�vx�!��������������N%�� ���!��������#��,(0+,-1+8,+&(0),-1+13)*-),46+&,9611-&�;0),-1+6+31+260�14(,4,-*8*,+03860+7,s���;0),-138,+�6+&,71B>()630-0&>)*80-=�40(&*(710�:71s+*),-30-B>()630-71331+260�1=tEuvwxwyvzJKM��.�� ���������!��%�������#�����%�� ��TU�%� ���� �������.��%������c��������� �¡¢�£¤¥�¦��

Page 5: 3 Lenguajes de primer orden.pdf

���������������� ���� ��������������������� �!��������"#�$%& �!������� '���(�)!�� �!$*&'$+&'$,&'$-&'.$"#�$� �!��������%/� �! 0�(�����1����(��'�!��!�� �!������� 2/$%3/$"������4��!� �5�%���! ������ �6���!���� ��6�� �!������� !�� �!��������"789:;<=>?@?>?A�! ������� ����!6��B�����B��C��D"E"E"#�!������� ��� ����!6��B�FGHIHJKLMHJL/KK+.NHJLOLPHOKK"QHMHMHJLJKL/KLIH/KK,2/GHJL/K"3RHSHMHJLRKK,HGHMHJLOKL/K+.2/NH/L/L/KKK"T!� �!������� ��� ����!6��B�FSHIHUKK.+NHJLOLPHVKK"2JNHJLMH/LOKLPHVKK,2/GH/LIHRKK"2/NHSH/KLMH/LJKLPHIHUKKK+3RQHIHJKLMHJL/KK"SH2/GH/LJKK"SH/K,IH/K"WXYZ[\][_ abcdcZ[aefghZ[ai[g]a[ajhcZ[agcag[a jZ[a_ kc]c_[_lhmno[g]an ZZnjh[pk]k]acbc]n[ZXq[b]nbmci[.mcn kc]c_[_a]d Z[a am[nmaXq[ab]nbmci[a*r+mcnnkc]c_[_a]d , r-XsXq]abh[nmctb[_] amcnnkc]c_[_a]d m]_[aZ[ab]nbmci[aXYaohn[ uk acfn_ Z[e]g[2/$*&acjnctb[Z]gcag]lh H2/$K*&vr_ce nm _ 2/H$*&KXwam]i[ZZ]gcag]k[[ Z am]_ b]nbmci[adcn[c[ax+v,v-yrk[[ Z]m]bh[nmctb[_] x3yXz]nZ[b]nbmci[.n]\[rZhj[ [Z[b]nehacfnvkhaZ[efghZ[2/.$mcn hn[{ncb[Zbmh[v[Zcjh[Zlh .2/$v3/.$r.3/$X|Xwn ZZnjh[pk]k]acbc]n[ZZ[aefghZ[aa]dmno[n[k[mc_ Z[efghZ[a[mfgcb[arZ[ab]nbmci[aacjhcn_]hn[a jZ[alh n]ak gcmo[n]dmn nhi[aefghZ[aXwZb]nphnm]_ Z[aefghZ[a[mfgcb[a [hnb]nphnm]k tp[_]XwnhnZnjh[p_ kcg ^]_nvb]g]\g]ak]_c_]i vZ[acmh[bcfn a[Zj]g}ab]gkZp[Xq[aefghZ[a[mfgcb[ar[n]a]nhnb]nphnm]k tp[_]vacn]lh a]dmcnn[k[mc_Zb]nphnm]_ aogd]Z]a_ k _cb[_]rZ]am~gcn]avr~am]a[ahi�a ]dmcnng _c[nm hn[b]gdcn[bcfn[_bh[_[_ aogd]Z]a_ b]nam[nmv_ i[c[dZr_ ehnbcfnXq[agcag[a jZ[alh mno[g]an ZZnjh[pk]k]acbc]n[Zk[[e]g[Z[aefghZ[a[k[mc_ Z[aefghZ[a[mfgcb[arZ[ab]nbmci[an]ai[Zn[\][X�[�[_cg]a_]ag}ak]Z[ ucamnbc[_ Z]abh[nmctb[_] aXwam[acmh[bcfnk]_g]aalhg[mc�[Z[b]g]acjh���cgdXb]nam[nm��cgdXi[c[dZ��cgdehnbcfn ��� �~gcn]a��cgdXk _cb[_]������� �fghZ[a[mfgcb[a�z]nbmci[a�zh[nmctb[_] a ��������������� �fghZ[agcnm[alh n ZZnjh[pk]k]acbc]n[ZZalhg[ao[���fghZ[a[mfgcb[a�z]nbmci[a � �fghZ[a������������������

Page 6: 3 Lenguajes de primer orden.pdf

�� ����������� ����������������������������������������� ��!�"��"��#�#��������������#��$��%�&'�����(�����%�'�������)�$#*#$#$����+ ��"��,�%�'����$����������-$�*��#�'��-$�����#��-$������#��-������#*��.�����#/��$����0�)������%�'������1#�#����,���"��2����#�0�3�������$������#��$�������%�'���������#��.�����������-�#��������)���!�����$�����#��$���� ����#��)��#������4����$�$������$�/�#�#����56-55.57�8#���'�� �-����$����������������#��$��%�'�������#��"�����)�#���'���#��4��������#$��# �#��$������ ����$����$���3����.�$���*������-�����*��#����$������9����"��#'�����������������"��������)��#�"���,�����"�$�%����������4��������)�#�#��#��)��#��$����������0�:;<=>?>@=ABCDEFGHIJEIKHFLEMENOPQEOROMEISTUEFVHIFWXOQHJFMEJJEIKHFLEYZE[IPQRUEJ\RILHI]RMEJFUUHWXOQHJFUMEV\RQRUPKHE_DH VabcVdUPVEUHIFWXOQHJFF]XQP\FYDH VabcVdeDH VfaeDH VgaUPVbVfhVgYDH VabcVdeDH VfaeDH VgaUPVbVfiVgYDH VabcVdeDH VfaeDH VgaUPVbVfjVgYDH VabcVdeDH VfaeDH VgaUPVbVfkVgYDH VabcVdeDH VfaUPVblVfYDH VabcVdeDH VfaUPVbmnVfYDH VabcVdeDH VfaUPVbonVfYp��"�������$�/�#�#�������$�/�#�#��6q�r�# ������������� #��"��"��#�#����-"����.�$������*�������'��������$�����������V"�$�����������#���)�'��$�������#�����)�'��$�$�� ����$����������V�(���)�'��-�����$����-���%�������%9���������V.���4�!���������������������#�������"����%���������������#��$�V�s��$#��#������$��$��)�'�������#��%�������'��������$�V�tu;vwxyzC{CBCDEFVbo|}~��|aaj �~���a�nailmn�n�n�naaaHIFWXOQHJF\RIU]OHPMFEIEJJEIKHFLEMENOPQEOROMEIMEJELEQNJR�Y�Y�Y�FQRUF�F\EOUHMEUKJRUEEIUHWXOQHJFUYo|}~��|aaj �~���a�nailmn�n�n�naaa}~��|aaj �~���a�nailmn�n�n�naa}~��|aa �~���a�nailmn�n�n�na�~���a�na lmn�n�n�namn�n�n�na�n�n�na���������������������

Page 7: 3 Lenguajes de primer orden.pdf

���������������� ���� ���������������������������� ����������!������"����������#�$�%���&#����'&��%��(�"��$��������%�'&��%����$&�����)*+,-./01-23+454.41-2607891+60:;<=;>[email protected];4?AI020,09CJC-.42E4425-22F1G-6-22-.EC7494.542AKC4.590260D09C0G64;425L074J50E0,-9+.J+0.5CMJ0E-9N:;OH60D09C0G64?.-0,094J4C.P+4.JC0E0,-9.C./Q.J+0.5CMJ0E-9AB250EC25C.JC8.4.602-J+994.JC02E4602D09C0G642R+4/0+.,0,461+SC1,-950.544.6-3+42C/+4AT-95061-5CD-HD01-207-9106CU094250CE40AVWXYZ[Z\Y]_���(%#�'&��%����%#��#%�����"���������#)�%"�#����a%�$�#����%#��%�'&��%������'����b;c��#��b��%#�%�#$�d�����e%#�!�������f��$�#����g)����d#���90EC-E40JJC8.����$��%�#$�d������������%�'&��%��c)h+.3+4i41-2E4M.CE-4690EC-E40JJC8.E4+.J+0.5CMJ0E-9bH.-294749C941-20j6J-1-4690EC-E40JJC8.E4b;AklWmnopq_r__s)t#��'&��%��(uv?=w=x=y>?@@z =<=x=y>{@>;@|}:;~=;>;>;@@@�"�����#����%�#$�d�������)t������������&#��v?��w=x=y>?@@z =<=x=y>{@>;@|}:;~=;>;>;@@����#$���a%��������������&#��:;��~=;>;>;@)�)���� ���cu:�=:;<=;>x=�>{@@zv?=~=�=;@>x=�=?@>?@>�@|w=x=?>�@@@@t������������&#��:���:;<=;>x=�>{@@zv?=~=�=;@>x=�=?@>?@>�@|w=x=?>�@@@)t������������&#��:;��<=;>x=�>{@@)t������������&#��v?��~=�=;@>x=�=?@>?@>�@|w=x=?>�@@VWXYZ[Z\Y]�_���(%#�'&��%����%#��#%�����"���������#���%"�#����a%�$�#����%#��"�����&#��%#�!�������;�#��� �'&��%��)�������a%���� ��"�����&#��6C/0E0����$��#�������������&#��%#�%�#$�d�����:;�v;)t#������#$������������a%���� ��"�����&#��6CG94A�p����A�.0D09C0G64,+4E454.49D09C020,09CJC-.424.+.07891+60HS4.+.022496CG94S4.-59026C/0E02AT-950.5-H06i0G609E46CG94-6C/0E054.41-23+494749C9.-20+.0-J+994.JC0J-.J9450E4+.0D09C0G64H.-060D09C0G644.2FA�AI0-J+994.JC0:;-v;E460D09C0G64;24J-.2CE4906C/0E0AklWmnopq_r_�_s)��#���������#%�!���#$���'&��%��v?=w=x=y>?@@z=<=x=y>{@>;@|}:;~=;>;>;@@@)t�$�'&��%��$��#������%���#��������!�������?�a%�����������##���$��v�=w=x=y>�@@z=<=x=y>{@>;@|}:;~=;>;>;@@@�������"������#����#������)��"������"����$��"�������%�#$�d�����v�����%#��"��a%���$��#�������������&#��v?)���#�$�����#��#���"������#������!�������;�v?=w=x=y>?@@z=<=x=y>{@>�@|}:�~=�>�>�@@@)����$����#���"������#����"�������������e�%#a%���$���#$����������������&#��v?g����#$���a%��������$�#$����#������)�)���� ���:�=:;<=;>x=�>{@@zv?=~=�=;@>x=�=?@>?@>�@|w=x=?>�@@@@)���������$���������%���#������������ :�=:�<=�>x=�>{@@zv�=~=�=;@>x=�=�@>�@>�@|w=x=�>�@@@@�$���������%���#�����������:�=:;<=;>x=�>{@@zv?=~=�=�@>x=�=?@>?@>�@|w=x=?>�@@@@�����������!�������;$��#���%#���"������#��������e��"�����������%#��g��%#��"������&#�����e��$������g) ������ ¡¢£ ¤¥¡ ¦§ 

Page 8: 3 Lenguajes de primer orden.pdf

�� ����������� �������������������������� !"�#�$���#��%��&�'!('()*+*(��#,-�+*"().����)���/01201345)*����(6�7�*�%���(+�!!��+*�#*8!�$��*�%���9�!*�8#�:(#(.���)#("*)"(;<($�)#�)�'�!*+*(��)$�9�!*�8#�)���)(�#*%�$�)=,>?�@ABCD�E���F,G�� !"�#�HIJHKLJKMNJIMOPPQRSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPPP�(�)���)��<��+*�,X�"()9*)<(.��<*�������'�!*+* �#*8!�$�#�9�!*�8#�K,Y,G�� !"�#�HIHKJLJKMNJIMOPPQ RSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPPP)Z�)���)��<��+*�,[��)<�+�)(;�#!�$*($��++* �$�HK�)LJKMNJIMOPPQ RSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPP;#��%(<($�)#�)(+�!!��+*�)$�K)(�#*%�$�),G�)$�#�)(<!�)9�!*�8#�))(�<�"8*\�#*%�$�),],G�� !"�#�HIHKJLJKMNJIMOPPQRSTJUJKPMNJUJSPMSPMIPVWJNJSMIPPP�(�)���)��<��+*�,[��)<��&�"'#(;#� #<*"�(+�!!��+*�$�#�9�!*�8#�S�)#*8!�:�#!�$*($��++* �$�RS�)TJUJKPMNJUJSPMSPMIP,_, ��� !"�#���#�.���(�'�!�a+��9�!*�8#�)�)���)��<��+*�,b10/200c0defgh0dg/f54degi251345jk0240101fg/e5il120/4/01k15mnidkf5of5p4q3kf25pjk0ek0p0/keg10i515f4r5if50/2ik32ki5p0k15mnidkf5st5dg/5u530i0fviwgfp0mgid534n1p0f5/2i0/mnidkf5/jk0u0dg/h4/2g010/200c0defgsHIJHKLJKMNJIMOPPQRSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPPPHKLJKMNJIMOPPQRSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPPHKLJKMNJIMOPP RSJTJUJKPMNJUJSPMSPMIPVWJNJSMIPPPLJKMNJIMOPP TJUJKPMNJUJSPMSPMIPVWJNJSMIPPTJUJKPMNJUJSPMSPMIP WJNJSMIPPt0dg/jk00fi5p4gp05334n1p0HK0/LJKMNJIMOPPx2010dg/jk0qc5i1g/01fg/pg/1gpg/p0f54rjk40ip5ys z{|}~�}�{����{���{�~}

Page 9: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ������������������� !�"�#������#�!��!����$%���!��������������������� !�"�#������#�!��!����$%���!������������������ !�"�#������#�!��!����$%���!���������������� !�"�#������#�!��!����$%���!�����"�#������#�!��!����$%���!����"�#������#�!��!���� %���!����&'()*+,-.+/0-12+.+3+,4/54/4*41626+7-/,-54/0416485-//+75694,4/:����������������� !"�#������#�!��!����$%���!�������������������� !"�#������#�!��!����$%���!����������������� !"�#������#�!��!����$%���!��������������� !"�#������#�!��!����$%���!���� !"�#������#�!��!���� %���!����"�#������#�!��!����;4'()0-.+/'(--514,6+,-4226<7,- !-/"�#������#�!��!����=>*+13473+%���!����'(-,4?(-14:@ABA CDEFGHIJKLDMGNDGOMKPDLDQRIEDRSRLDGAT4/344U+14U-.+/06/3+2<.+2+7/31(6154/?<1.(54/,-(75-79(4V-,-*16.-1+1,-74*41361,-(74/-16-,-/).8+5+/:W740-X2+7/31(6,4(74?<1.(54U-.+/47456X4,+,62U4?<1.(54-7?(726<7,-/(-/31(23(14:&/)U-.+/,-Y76,+54//(8?<1.(54/,-54?<1.(54=>U-.+/254/6Y24,+544*41626<7,-54/0416485-/,-*-7,6-7,+,-/(*+/626<7-754?<1.(54:&U+1404.+/4314341,-,415-/6976Y24,+424,4(74,-54/?<1.(54/'(-?+1.47*413-,-(75-79(4V-,-*16.-1+1,-7:Z414-/+=3-7,1-.+/'(-4/697415-(7/6976Y24,+424,4(74,-54/2+.*+7-73-/,-54?<1.(54:Z414-/3+04.+/4045-17+/,-5+/2+72-*3+/,-[\]_]_a>bacdaefg:hijkjlmnopmqrnmstm

Page 10: 3 Lenguajes de primer orden.pdf

�� ����������� ������������ ������������������� �!"#$%&'()*+,+-+./012%130&4%5%6789%7:75%1;<1&%=>70?>07&@:01&'%=>70?>07&AB?:1=8=>%%1C<1?:1401>:D58=>81>:5%2E&?F:G5%1:981&5:HIJKLKI:MLKNOPQIRS&7&?&5&=F9T:2:5%?:1=>&1>%UV*G01%2%9%1>:UW VD @%=5%?87G2:X0%>%1%9:=%=01&&628?&?8Y1*ZDA;S&7&?&5&=F9T:2:5%[01?8Y1\]&78: G01&&628?&?8Y1 W_D`ZD;S&7&?&5&=F9T:2:5%67%58?&5:\]&78:aG01&&628?&?8Y1aW_D`Zbc;def�ghi�� �jkRlmPMLmOQnPMonMPmOQOLnILoOQOpOqKPpIQOpOJOLnIQQIrPOpIQsMOsMOPOJIQsMOpmQtuPvJMpmQHKqmLmpqIwLxJOPIQyJmnPKoOQyzIpKLIJKIQyzOPQILmQyOnoR{y|MLmNO}~Oo~IOQnIymQKqLmPMLQKqLK�omHImpIQQ�JrIpIQHOoILQnmLnOyHOtMLoKuL|HOPOpmoKuLR�mrpmPOJIQOLnILoOQHOmQKqLmoKuLHOoILQnmLnOQyHOtMLoKILOQ|HOzPOHKomHIQR�mQNmPKmrpOQOLzPKLoKzKILI�MOqmLLKLqxLzmzOpOLMLmOQnPMonMPmR�R�KnOLOJIQMLmOQnPMonMPmBy|UOQMLQ�JrIpIHOoILQnmLnOyzmPmLIoIJzpKomPJMo~IpmLInmoKuLOQoPKrKPOJIQyQKLI~m|pMqmPmpmoILtMQKuLyUOLpMqmPHOUWR�Q�yzIPO�OJzpIyOLMLmOQnPMonMPmOLpmsMOOpHIJKLKIOQ�wLxJOPIQLmnMPmpOQ{y|mpQ�JrIpIHOoILQnmLnOUpOmQKqLmJIQOpNmpIP�yOQoPKrKPOJIQU(�OLpMqmPHOUW(�R�R�mJKQJmIrQOPNmoKuLmLnOPKIPNmpOzmPmpIQQ�JrIpIQHOtMLoKuL|pIQQ�JrIpIQHOzPOvHKomHIR�R�K OQMLQ�JrIpIHOtMLoKuL�vmPKIymQKqLmPpOMLQKqLK�omHIm QOP�mHmPMLmmzpKomoKuL^_D�Z DR�MOQnIsMOD�nKOLOMLxLKoIOpOJOLnIyOLnILoOQzmPmHmPpmmzpKomoKuLxLKomJOLnO~m|sMOOpOqKPMLOpOJOLnIHODR�IPnmLnIymQKqLmPpOMLQKqLK�omHImMLQ�JrIpIHOtMLoKuL�vmPKIOQQKJKpmPmmQKqLmPpOMLQKqLK�omHImMLQ�JrIpIHOoILQnmLnOR�R�KaOQMLQ�JrIpIHOzPOHKomHI�vmPKIyOLnILoOQmQKqLmPpOMLQKqLK�omHImaQKqLK�omOpOvqKPMLNmpIPHONOPHmHw�u�{zmPmOpzPOHKomHIaR�QnIOQpIJKQJIsMO~mo�mJIQoMmLHImQKqL�rmJIQMLNmpIPHONOPHmHmMLmtuPJMpmmnuJKomOLMLpOLqMm�OzPIzIQKoKILmpR�R�KOLLMOQnPIpOLqMm�OnIHIQpIQQ�JrIpIQHOzPOHKomHIQIL�vmPKIQyOLnILoOQOLpmQtuPJMvpmQHOppOLqMm�OxLKomJOLnO~mrP�Q�JrIpIQHOzPOHKomHI|oILOonKNmQwLInKOLOLomrKHmmsM�pIQQ�JrIpIQHOoILQnmLnOyHONmPKmrpO|HOtMLoKuL{R�LnmpomQIypIsMOnOLOJIQOQMLpOLqMm�OzPIzIQKoKILmpRlKo~IHOInPmtIPJmypmpuqKomHOzPOHKomHIQKLopM|OoIJIomQIzmPnKoMpmPmpmpuqKomzPIzIQKoKILmpR�ILoPOnmJOLnOoIJImsMOppmOLpmsMOnIHIQpIQQ�JrIpIQHOzPOHKomHIQIL�vmPKIQR��������#!#�#�;�:1=85%7&9:=012%130&4%5%6789%7:75%1?0�:==F9T:2:=5%?:1=>&1>%=:1��U 2:==F9T:2:=5%[01?8Y1=:1¡¢�£¢�2:==F9T:2:=5%67%58?&5:=:1¤¢G¥\¢G¦¢�§c;$%&B2&%=>70?>07&=8308%1>%C25:9818:%=%2?:1401>:5%>:5&=2&=6%7=:1&=;�($Y?7&>%=�U(©07:7&@1:>%9:=X0%ª&T7F&X0%ª&T%7%=?78>:�W($Y?7&>%=%830&26&7&U;S%7:?:9:&?&T&9:=5%?:9%1>&7G2:%=?78T87%9:=>&2�?:9:ª%9:=58?ª:6&7&=89628«?&72&%=?78>07&A;¡)¬/(%26&57%5%¬�£)¬/(2&9&57%5%¬;­®°±²°³®²µ¶®·¹®º±°

Page 11: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ��������� ����� !"#$%&' �()$�!)!(#"$"�!& *+������ ������(#�%�,�(#�&' �()$�!)!(#"$"�!&-������ �����#"$.$/$0!"&' �()$�!)!(#"$"�!& 1��23���� ����� 4�$%#!56�37' �()$�!)!(#"$"�!&86(56�$9(:$%#$(;!";"�)��$"$%,6(!�)!()�;#!�<)!(��#$��#"6)#6"$#�(0"=$ !�>?$:@" 6%$��A���,(�B)$"=$CDEFGHIJIJKLFHGMN?$:@" 6%$��O���,(�B)$"=$PQFLFGIJKLFHGMN?$:@" 6%$R�������,(�B)$"=$HLSLJMLJTLKUFIJJLVKLFHGMIJNWX("�$%�0$0��"=$#!0!�%!��%� �(#!�0�Y�!( !"#$%��Z&?$:@" 6%$��[�A����,(�B)$"=$IM\GSFISICDEFGHIJIJKLFHGMN?$:@" 6%$��[�]�O�����,(�B)$"=$IM\GSFISIMGKGSFISIPQFLFGIJKLFHGMN?$:@" 6%$R���[������,(�B)$"=$HLSLJMLJ\GSFIJJLVKLFHGMIJN?$:@" 6%$ �-�����,(�B)$"=$TG_\IFJLVGJHFGUGGSLFGJN?$:@" 6%$1�O2A���,(�B)$"=$PQFLFGIJKaJGMHGbQICDEFGHIJN?$:@" 6%$*+�[�O����,(�B)$"=$IM\GSFISIPQFLFGIJcVHIMcdIVHINe&f�$$g!"$�%%�(,6$/�h�(�%56�i�jO2kl<m�jAn2]olpq�jrn2rsn2�o2tuol&f�$vn%$��#"6)#6"$��,6��(#�>w! �(�!>Y�x&8��,($)�@(0�)!(�#$(#��>O�'<k��&8��,($)�@(0�:6()�!(��>A�����y�<]��23���z3&8��,($)�@(0�;"�0�)$0!�>r������ �����;$"&' ������ ;$"& rs������ �����;"� !&' ���(!��;"� !&���23���� ���{37' ���|37 tu��23���� ����37' ���}�37~&�!(�% �� !%�(,6$/�0���#�9%#� !�/� ;%!<)!(��0�"$ !�%$��#"6)#6"$vo��,6��(#�>w! �(�!>Y���&8��,($)�@(0�)!(�#$(#��>O�'<k��&8��,($)�@(0�:6()�!(��>A������y�<]��23���z3&8��,($)�@(0�;"�0�)$0!�>r������ ���o�'7' ���o}�'7 rs������ ���o��7' ���o}��7���23���� ���oy3��7' ���oy3}��7 tu��23���� ����37' ���}�37�������������G�LFKGIVbQITIKLJGJcdVGSLMLJ\FIScEGSLJIVIJHLJSLJ�MHcKLJIIK\MLJ\QISIFIJQMHGFQV\LELIVdLFFLJGN�LFHGMKLHc�L�IK\MIGFIKLJ�FIEQIVHIKIVHILHFGJVLHGEcLVIJN�N�VGJIF�GIJEFcUcFr��n2�o2zzz2������LVScEcDV��SLVSIIVMQdGFSI��LVScEcDV�IJ�EFcUcFIKLJMGELVScEcDVbQISIUIVEQK\McF�n2�o2zzz2�� \GFGbQIr��n2�o2zzz2����GMdG�NPJ��IVMGIJHFQEHQFGvn\LSF�GKLJTGUIFSI�VcSLMLJ\FIScEGSLJ r�����IJ\GFNrs�����IJ\FcKLN���23���{37tu��23����3¡¢£¤£¥¦§©¦ª«§¦¬­¦

Page 12: 3 Lenguajes de primer orden.pdf

�� ����������� ���������������������������� ��!"#�$��� ��!�#%��&'� ��('!)#*+��&'� �!',-.������/�����010��!234�5���46784�8�����9��8�234�5���460�/����4�5���4:��;&��&<<<&�=�>?=@���;&��&<<<&�=�!)A#B��47����84C48�D4����D�����4����D���4�-E4��5�DC�47�������48���������������C48�/�D4�F�1��8�G�084�4�C��80��84��4D4��!:"&HAI % !:�"&)�&�)&"�&�H&)�&�J&"�AI�$!:"&)AI *+!:�"&"�&�)&)�&�H&H�&�J&J�A#E��������48��������������;���4���/���C4�4DK��4DC�0��847L�M���4��4�5���4�8��4�M������D4�F�1���84�4�0�G�0�4�-NO���/��C48�/�8��0���!:"&H&P&Q&<<<A�0�4���4�����8�D4�M���4���R��0D4���484��4��OD��4�C����-�$!:H&J&S&T&))&)J&<<<A�0�4���4�����8�D4�M���4���R��0D4����4�5���48��4��OD��4�C�0D4�-*+!:�"&"�&�)&)�&�H&H�&�J&J�&<<<A�0�4���4�����8�D4�M���4���R��0D4���48�����C���5��8���R4�D���&'��4��!'-U�C4�4DK��4DC�0��84��8����010���/��C��80��84%-V-B�����M�0�����47�4M��F���R������M��M��8�����4����84��C��80��84W���XL����84��C��80��84W���Y-E4��5�DC�47����09���0Z�8��C��80��84����������������;C48�/�D4�F�1����F��F4��D10[���/�����!�()DZ8H-\]_ab_cdefghijklgkmjhngogpqrsgqtqogkuv�jkhgwxqjyxjqhz{khW��4���0Z�gwjkhhplryhyr|k}@~�?zU��W����09��84��W��4�8��84D0�04���8����8����W��0�1���7C48�D4������8���4��484��4��[�D0�4�8�����9��5�-\]_ab_��efghijklgkmjhngogpqrsgqtqogkuwgh�jkhgwxqjyxjqhv}jkh�hltqhyr|kz�kxtkygw}wgg�xrgkoghjkhhplryhyr|k��jgwgmjrqgstwllhshkot}�}@��?ytstwrmjg�fr�>�gkxtkygw}���!��phqhwgqs�wpqgyrwtwu�h�q�h�jgogyrq}���!���zfr�>~gkxtkygw}���vhgwx�og�krotzfr�gwjkw�s�tltog�jkyr|k��hqrtv�;&��&<<<&�=wtkx�qsrktwphqhltw�jgxgkgstwog�krot}gkxtkygw}����;&��&<<<&�=��!��}��;�&}����&<<<&}��=���ts�wpqgyrwhsgkxgu}����;&��&<<<&�=��!���}��;�&}����&<<<&}��=���z�lglgsgkxt}���orqgstw�jggwglW��4�8���[�D0�4�z���D4���9��4��5�DC�4����]��� �ecece¡z¢tkwrogqhstwgllgkmjhngogpqrsgqtqogkohotptq�!:�&£Au¤!:¥;&¦�Av§!:�;&�$;&%�&*+�Azfjptkmhstw�jg~!:�&'&Azfghlhgwxqjyxjqh�;�jg�rstwgkglgngsplt©zªz¡uvlh�hltqhyr|k}@~� «ohohptq}���!Hu}�'�!Su}��!)z¬hstwhxtshqhlmjktwx�qsrktwvyhlyjlhqwjrshmgkptqlhhplryhyr|k}z­®°±²°³®²µ¶®·¹®º±°

Page 13: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ����������������������������� !"!!#"$%&!"'()$*(+$+,"&#&"�������������� -�����./������� -��������.��/��� -��.0�� 0� !"!!#"$%&!"'()$*(+$+,"&#&"-�����./��-��.0��0�����1�����������1�����2��3� !"!!#"$%&!"'()$*(+$+,"&#&"��1����2��3��� -�-�����./�.��1�������� -���-�����./��.����1���� -�0.3�� �0� !"!!#"$%&!"4$+,"&#&"$*(+-�-�����./�.��1���-�0.3���0�5$!��-�����6��.-���/�.-�6.-�/.1�����7!*(+!,!8,98!"�����-�����6��.-���/�.-�6.-�/.1���� � -��������.-���0�.-��.-�0.2����� -���0�.-�:.-��.������ -�:.-�:.����� -�:.:���;� �<+)$,&"4�����;��=�>(?$8*&+*(8$?@9!A$48!$+B"9,B9"!CDE8!%!8("!,&F?)!)!'("��/��:4��1���4��G��0%!*(+!,!8,98!"$8%!8(")$8(+*&+*(+BH"*&?(+�����������0I�J����-�����./��-��.:���I:�:���1�������0I�J��:�-�-�����./�.��1���-�:.:��:I:���-�����6��.-���/�.-�6.-�/.1���� � -�����:��.-���:�.-�:.-�:.������ -���:�.-�:.-�:.:���� -�:.-�:.���� -�:.:���KL�M!)($88$?@9!A$)$'"&*$"(")$?)$N?&)('("O�P�.QR4S�P/R4T�PUV.WDR4X�PYV.ZDR4,(?+&)$"!*(+8!$+B"9,B9"!+&@9&$?B$[\] __]a�bc�d]efgfhe���4Q�0�ij k_]heU�/��/J�4W�/.1��/J1�lmhn_kgn]eY�P�R4Z�P��.��.��.0�.�0.��R�>(?+&)$"!*(+8!%!8("!,&F?/op��<?B(?,$+[��/�������������Q��0���U�/���U���/���U��������U�Q���U���Q���U�0������W��.U�/����W�����.��U�/����W��.�������U�W��.U�/�����U���W��.U�/�����U����0���W��.Q���W�����.��Q���W��.0��0���W�W��.Q�.U�W��.U�/������W���W��.Q��.��U�W��.U�/������W�0.0������W�U�Q�.U�/���W���U�Q��.��U�/���W��.�������W�U�U�/��.W�U���.W��.U�Q����� �U�U�/��JW�U���.W��.U�Q����U�U����JW�U���.W��.U�0����U��J��J�U���JW��.U�0������J��J��J��JU�0����0J��J��J�����Kqrstsuvwxyvz{wv|}v

Page 14: 3 Lenguajes de primer orden.pdf

�� ����������� ��������������������������� ��!�"�#$%&�$'$"��()��%�*�$#$�*�+%,�-�.��#�$/01234"'�"�0�.����.*$�+*�$�52�.���6��'$�+%,�(789:;8<=>?@9:AB8CBD=>E>=D8?C@BF=D=>9CB8AB<8G:>F=<=>F8FE8>8?8F8H@>9AG8F=GG=BIA8J=KLC-M/0123=;AB8<8G:>8?C@BNO=;AB8H@>9AG8PF=B:D8>=9:;E:>-QR/O38G<8G:>F=<=>F8FF=G8H@>9AG8OE:>G8CBD=>E>=D8?C@B-KSA8BF:B:;=8B=?=;8>C:P;AE>C9C>=9:;=G;ATUBFC?=NV:=G;AE=>UBFC?=K����������W���������� ��!�"�#$%&�$'$"��4-M/0123���%�*�$#$�*�+%,�5OMX/YZ1Y[1\\\1Y]3���,$&����*,&%+�(_��%&'.��6��'$"�6�$"�""�Oa�!'��%�*�$#$�*�+%,�-+'&'-/O3MX/2/YZ312/Y[31\\\12/Y]33b:D=9:;cA=G8F=dBC?C@B=;?:e=>=BD=PEA=;F=dBCF8AB8<8G:>8?C@BPE8>8?8F8Df>9CB:YD=B=9:;F=dBCF:=G<8G:>2/Y3PcA==;AB=G=9=BD:F=GF:9CBC:Kg:>=;:P/2/YZ312/Y[31\\\12/Y]33hi]PGA=I:X/2/YZ312/Y[31\\\12/Y]33hj[Kkl�mnop��W���q(����M/rs1tu1rv1w1xu1ryZ1z[u1rXZ1X{Z1|[1}~[u3����� ��!�"�#$%&�$'$"��4.��0Z���.*$�+*�$�"��%"������!�&#�'�(�(q52��6��'$�+%,�"�"�#'$2/v3M�42/w3M�42/x3M��(-/X/s33M�4#��.sM�5��.����&�$'#�$(-/X{/y/t333M�4#��.2/y/t33M�5��.����&�$'#$%&'(-/|/z/v1y/t331y/y/w3333M�#��.2/z/v1y/t333M�42/y/y/w333M�5��'�.&�5'$����(-/}~/y/x31z/v1y/v3333M�4#��.2/y/x33M��42/z/v1y/v333M��5��M��(�(�'�.%"�$�&'.��&%.&'��� ��!�4#�$'���.*$�+*�$�0[5��6��'$�+%,�2/v3M�42/w3M�42/x3M�(��*��+�.'�-/X/s33M�4#��.sM�5�[M�(-/X{/y/t333M�4#��.2/y/t33M�\���M�5���M�(-/|/z/v1y/t331y/y/w3333M�#��.2/z/v1y/t333M�\�M�42/y/y/w333M�5�[���M�(-/}~/y/x31z/v1y/v3333M�4#��.2/y/x33M�42/z/v1y/v333M�\�M�5��M�(�B8<=�F=dBCF:=G<8G:>F=<=>F8FF=AB8H@>9AG88D@9C?8P<89:;8=�D=BF=>G:E8>8?A8GcAC=>H@>9AG8Kg8>8=;:PB=?=;CD89:;8BD=;<=>?:9:9:FCd?8>=G<8G:>F=AB8<8G:>8?C@B=BAB8<8>C8TG=KL=8�ABG=BIA8J=F=E>C9=>:>F=BP0AB8=;D>A?DA>8N2���iAB8<8G:>8?C@BKg8>8?8F8<8>C8TG=vN?8F8=G=9=BD:�hiF=dBC9:;AB8BA=<8<8G:>8?C@B2������i?:9:�2���/w3M�2/w3 ;Cw�Mv� ;CwMv�;F=?C>P2���8?D�8CIA8GcA=2;:T>=D:F8;G8;<8>C8TG=;;8G<:=<=BDA8G9=BD=vKkl�mnop��W����'�.%"�$�&'.����� ��!�"�#$%&�$'$"��+'��. &a'�'."�6�$%�a��v1w1x45+'�.%¡"�$�&'.����.*$�+*�$��������iMj(���2��6��'$�+%,�v¢�£�4w¢��4x¢��(¤+'�*%���+%,�"�&'.�¥#� +%*�&��*���.6��'$�+%'��.2��[42��¦42§�Z42©��52©�¦(2��[ 2��¦ 2§�Z 2©�� 2©�¦v¢� � v¢� � v¢�£� v¢�£� v¢�£�w¢� � w¢� � w¢�£� w¢� � w¢� �x¢� � x¢� � x¢� � x¢� � x¢� �ª,*�.����2©�¦M2(�� ���$��4.�*%������2���M2+���"'2/v3M�(S:B=;D:E:F=9:;F=dBC>=G<8G:>F=<=>F8FF=?A8GcAC=>H@>9AG8�«¬­®°®±¬²°³ ¬µ¶·¬ ®

Page 15: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ���������������� !"#$�#%" &�'�()*+�),)'�#-�� ./01234"# *#5�)()�5 6*7#86,#9�$',+*#*,-�� #:;<',=>7)+"$ ='�!-?#5,#6�[email protected]:B<4/.A0:4C.A0<4C.A0:4D.A0<4-.A0:E<4/.A0:4D.A0<4-.A0:F<4/GC.A0:4C.A0:4D.A0<4-.A0:H<4/GC.A0:4C.A0<4-.A0I:4/GC.A0:4-.A0JK:4/LG =*( ) 6" $M"*�)�$�+�#5,NO9=�5*�#�M"�.APQR0:4/GS �#,5),6 =,-.A0TK:4/LG =*U ; $%V#�$�+�#5,NO9( ) �$M"�.APQR0:4/GS �#,5),6 =,-WXYZ[\Y]_[\XaXZb][\cde�fghi��j�k�l-m,#=*'�) +,=#"�n +�#5��$$�#%" &�!�#�$M"�o/pq2rs8t/puv2wxs;y/pzv2z{v2|x2}~xs8;$ �=5)"65") 1v8M"�)�6,)' +,= U,) -�,+*#*,@9/�-�=*%# 6*7#'�6,#=5 #5�=@q/S8r/G-�=*%# 6*7#'�>"#6*,#�=@u0K4/KCG8w0K2�4/KD�-�=*%# 6*7#'�()�'*6 ',=@z0K4�K�=( )� z{0K4�K�=()*+,�|0K2�4�K��� }~0K2�4�K/���6,#=*'�) +,=$ n $,) 6*7#30K4/�830�4/�-�,+ +,='*>�)�#5�=>7)+"$ =;6 $6"$ +,=="n $,)'�n�)' '-Y�:v/JKz0w0K2u0K444-�$ +�+,=: $ >7)+"$ z0w0K2u0K444-�� 6"�)',6,#$ '��#*6*7#��5�#�+,=M"�6 $6"$ ).APQ�0:42.APQ�0:42.APQ�0:42.APQ�0:42.APQ�0:42.APQ�0:42DDD;6,+(),� )=*n $�=*�+()�l��#6";,6 =,.A0JK:4/G�8,=*U ; $%V#6 =,( ) �$M"�n $% 6�),��#6";,6 =,.A0JK:4/S�-.APQ�0z0w0K2u0K4444/z0w0S2u0S444/z0w0S2G44/z0S4/G8; M"�S�=( )-.APQ�0z0w0K2u0K4444/z0w0G2u0G444/z0w0G2�44/z0�4/G8; M"���=( )-.APQ�0z0w0K2u0K4444/z0w0�2u0�444/z0w0�2�44/z0�4/G8; M"���=( )-.APQ�0z0w0K2u0K4444/z0w0�2u0�444/z0w0�2�44/z0G�4/G8; M"�G��=( )-�(,'�+,=n�)M"�=� 6" $=� �$#V+�),# 5") $�=�5*�#�M"�.APQ�0z0w0K2u0K444/G8("�=.APQ�0z0w0K2u0K4444/z0w0�2u0�444/z0�D0�CG44/G8; M"��D0�CG4�==*�+()�"##V+�),( )-�,)5 #5,8=�5*�#�M"� .A0JKz0w0K2u0K4444/G� +�*�#(,'� +,=U ��)5) '"6*',$ >7)+"$ JKz0w0K2u0K4448M"��#�=5�6 =,n*�#� '�6*)JKK0KCG4�=( )8$,6" $�=6*�)5,=� M"*�#=� KO9/�- ,5�+,=6,+, $ U,) '�*#5�)()�5 )�=5 >7)+"$ 8$ n $,) 6*7#3#,U &"% ',#*#%V#( (�$-¡�:x/TK0z0K4Ez{0K44-� ) *#5�)()�5 )�=5 >7)+"$ 85,+ +,=:/z0K4Ez{0K48;(),6�'�+,=*%" $M"� #5�=-¢£¤¥¤¦§©ª§«¬§­®§

Page 16: 3 Lenguajes de primer orden.pdf

��� ����������� ���������������������������������������� !�"#!$ ""%&!'#(')&#*����+���������������,�����,������� !,!$ ""%&!'#)&(�'-�"#!$ ""%&!'#(')&#.*����/���������������0�����0��,���� !0!$ ""%&!'#(�'� ""%&!'#(')&#*1 !2#��"#"!3!$)4�&#$3#"4)" �'*5�� "!6!&!"4#7!67#&)")#-!68.4�6� !����/�9��,*:#'4�"4#� ���;���������������,<"!$4!!=!&(6#�6�>?'& 6�9@$!(#7'A�B�C!'4'�7 3)7#3#&#� !DEFGHD�IJDDGKLMNKMFOP�� !$�C!&#$� !!$3)!'4#*Q.9R�;�����������*S� A$!4)!"!� !������������( !$�������������T��������U����( !$V"#!$ ""%&!'#(')&#*W"7!(!"7)!"4!&!"4!7!6#� !X�62����;������-� !X�6!Y.�$!4)!"!� !���;��������������Z#4!&#$� !!"!$4!3�$#�6�X�6#'�3)?"T$AB�= 2�7# "(�(!67!3)$)X#!"!6X�6#'7!X!'7�77!6�>?'& 6�*[!B!3B#�3#"6�X�6#'�3)?"T\����]�T\���_�4!"7')�&#$� !���9R��,*a.9b�c������������def��gh�i���*<$4�>?'& 6�7)3!� !$)�!$ ""%&!'#(�'�(')&#!"4#"3!$��0�� !$�C!&#$� !!$3)!'4#*:#'4�"4#�$!4)!"!� !���9b��,*j�&#$�3#&('#C�'6#k=l"7#"#$!"6�7!k")3)?"mm*n!�9�����������def��gh�i��*��������������������6 !2#������9��,*����+���������������6 !2#����+�9��,*����/�������������,�����/�ef��gh�i����,�6 !2#����/�9��,*����o���������������6 !2#����o�9��,*����p���������������6 !2#����p�9��,*qX!&#$� !(�'�3 �6� )!'rst$!4)!"!� !����u���������������6 !2#����u�9��,*v#"36 )&#$!"4#"3!$� !���c������������def��gh�i�����,<$4#$3l63 6#$(#7'A�&#$B�C!'6#$7!$�''#66�7#!"6�$)2 )!"4!4�C6�wx yzx{ y|zx{ yzx{}y|zx{ ~�zx��z�{{ yzx{}y|zx{� ~�zx��z�{{ �xzyzx{}y|zx{� ~�zx��z�{{{� � � � � �� � � � � �� � � � � �� � � � � � �� � � � � ���� ��� ��� ��� ��� ���� � � � � �D.9��c������������d���gh�i���*n)�� AB�3!&#$ "�4�C6�$)&)6�'�6!=!&(6#�"4!')#'�4!"7'A�&#$wx yzx{ y|zx{ yzx{}y|zx{ �zx��z�{{ yzx{}y|zx{� �z���z�{{ �xzyzx{}y|zx{� �zx��z�{{{� � � � � �� � � � � � �� � � � � ����������������������

Page 17: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ��������������� !�"#�$%&'()*)+,-*.)+,/0)+12)3,,,45�����6�7$%)8+)*)+,-*.)+,/0)+12)3,,,459���6�7 ��:�77�;# �6��6#���!�$%&'<)*)+,-*.)+,/ 0)+12)3,,,=$%&'>)*)+,-*.)+,/0)+12)3,,,=��6?@?A������������;#�B�!�C� :����!��!�D� !�C��E4FG1HI=J4F+I=K 4FLM1NOI=P 4FQM1ROI=���7��#6�#��7 ;# ����ST���B�:C��U?@?@VWXYZ[\[Y]4 _?Y\abc\bdaG45=H4e?fg\h[Y\daL)+,4+ij=N)+1k,4+ik?lmdn[hcnYaQ4F5I=R4F)51j,1)j1e,1)e15,I=o��T�����6 p�+q/5?r�:�7� ����C�������77 ;# ����7sp�:#��7WtV8+R)+1L)+,,=uV8+R)+1H,vVw+R)+1L)H,,=xVw+R)+1L)L)+,,,=yVw+)Q)+,/zQ)+,,={Vw+Q)+,/zQ)+,?tV|�6�:�7#�������6����7 ����C����6 ���7!�R)+1L)+,,C�����7! 7� ���7T�����6 ���7!���T�� ����+?}��7��6�7�=���������!�: � �U���:����7=C�!�:�76��6#�����7��!�7?~)+, L)+, R)+1L)+,, 8+R)+1L)+,,5 j jj e j je 5 j�7�"#�$)8+R)+1L)+,,,4jr��T�:�7������"#�C#�7��"#���!�7��7�C�� 6 ���7!���7T�� ����77��� ;�!�7=��T�����6 p� � 6 ������B#;�!�� �;��C�C������T����!�T��!�!!���sp�:#��?uV�;#��"#�����6�7������ ���76� � :�7�������W~)+, R)+1H, 8+R)+1H,5 5j j 5e 5}7!�6 �=$)8+R)+1H,,45?vV��:� ���������6�7 ��:�7��!�7��7T�����6 ���7!���T�� ����+?~)+, R)+1L)H,, w+R)+1L)H,,5 5j 5 je j��������$)w+R)+1L)H,,,4j������������������

Page 18: 3 Lenguajes de primer orden.pdf

��� ���������� ������������������� ���� ������� ��� �������� !���� ��������" # "$ " " "# $ "�%�&'(�!���� ��������)"*+�,-����.��'�������������� /��� 0/��� /���10/��� !��/���10/����" $ " "$ " $ $ $# " $ $2�34%�(�!��/���10/�����)$5�26'7���������� ���� /��� !�/��� 0/��� !�/���10/���" $$ " $ " "# "8��-�9'��-�'-.��4%�(�!�/���1 0/����)"*,-��.'�%9-�.'77��:'-;<�-���0/���6�9'��'9�;'.'9'=��'7;����.�7'>:%������=��'7�.<?-4%���-3�9'�<-<.<��9�-��*,��'�'6�.�9'���3:%�������:�7<.<?-;���=�7<��������<�7�*@'7��-�'>��=��'7;�=�7;�;;���A?79%��;�:�-;�>-'�'�';������7%.�%7��<-'��9�<B-;���=��'7�.<?-*@�7�'�7�=��'7�.<?-C:'7�D�9:�'>����)$�>��-;73�9'�4%�(�!�/���10/����)$*EFGHIJKLMNOPQ+RSTUR+VR�+WRVX+Y+VZ[\SR]T\R]TV+]+V_[+_[+URZT]�RURWaV+b+ZcWTdV+\+]X+ZT][VW+V[Rb+�+cUZ+UTU�+VYVT+]c+\e\RU+ZT]WT]+W+Z+VXT]�+WW+V[Rb+Y]VT_[+�RU+ZT]WR]5fUZ[WR]_[+V+\+]X+ZT]gd][cTV�U+ZT]_[++VV[+]XUTW+V[Rb+X+V+ZT]XT�T]WT]]hZijTWT]_[+RcRU+\+V+VWR]5fUZ[WR]klR+]\UX[UR�+WR]5fUZ[WR]�+j+]+U\TS+U+VX+km]hY]RcRU+\+nRUR]n+\+][V]hZjTWT�+5[V\fVT�+cU+�\R�TY+VXT�R]WR]T\R]TV+]�+j+X+V+UWRZ]ZRRU�R�koTU+b+ZcWTY]�+\ZT]pq+Rr)s����� ��t��1 !u�v�u�w������ u���[VR5fUZ[WR�+[VW+V[Rb+�+cUZ+UTU�+VY+VX+V�+U+ZT]_[++]XRZT]SRjWRV�T�+[VW+V[Rb+�+cUZ+UTU�+V+V+W_[++VXU+WT]]hZjTWT]�+\TV]XRVX++]Xxtyc[+�+_[+RW[VT]Zx]zY+VXU+WT]]hZjTWT]�+5[V\fV+]Xx�yd_[++][V]hZjTWT{iRUTzd+VXU+WT]]hZjTWT]�+cU+�\R�T+]Xxvy{iRUTzd�yjVRUTzk|+ZT]n]XT+V+]XT]+b+ZcWT]\TZTRWRSTUR�+VX+UcU+XRU[VR5fUZ[WRY]X+V+ZT][VRT\[UU+V\RWR�R�+[VRnRURjW+Y+WnRWTU�+n+U�R��+WR5fUZ[WRVT�+c+V�+�+WRnRWTUR\fV_[++]\TbRZT]Y]VT]TWT�+WR+]XU[\X[URkoTU+W\TVXURUTYcRURWR]RcRU\TV+]WjU+]]hSRd_[+X+V+U+V\[+VXRWRnRWTUR\fVk}]X+S+\ST_[+�RU+~+bR�T+V+W][+VX+W+ZRp�H�K�����yl+ZR�+\TV\�+V\Rz����r%-�A?79%��;�%-��-&%�D�;�:7<9�7'7;�->�����%-����7%.�%7�*�%:'-&�9'�4%���.'-D%-�';�=�7<�����4%��<�-�-��&%-�'.%77�-.<��<�7��-r����� �� ��� ���*���-�� ��;'�=��'7�.<'-�������4%�������)������:�7��)$ # ��� ��,-�'-.��(���r�)(���r�* ��������������� ¡�¢��

Page 19: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ������������ �!"�����#$��%��$��&#�'(�)& ��#"�)%"�$��")"��$*� �+� "����(#�",�� ��+����, �� �-����./( "$��#��� �+�#����",�� ��+����, �� �,���.0")"�"#���&�#������ �'(�)& ���&#���#$�#������������#"!�1#�#-&#�"�&���#��� �,����#�#-&#�+����, ���#$"#��� ��#$��%��$���(#�� �'(�)& ���%�#��*#���)�#$��� ���$�&�$&��.2"��%�#���� �+� "����(#3&�$")�)"�.456565 789:;<=9=;>?:@AB?C;=9D@89:E>FAG89:5H �-&� 3&��#� �#-&�I�%�"%"����"#� �+�)"�����&#�� ���J����(#�� ��'(�)& ���$�#���#�"��&�%"��, ���#$��%��$���"#��.0")�#K�)"���J#��#�" "3&����#$��#��%"�&#LMNOPM%���&#�'(�)& �.QRSTUVUWTXYZ[\N\]\_aL]P\bO ] POc]\dONOeafLOaMaNO g]\fhOaeaOh\if jklmnopqrsONfiOt]OOs] )"�� "e\a\bsfjkmbqluvwxRyz{|XZ}Z~Z�O\bl���m�m�o�m�qqqv�\Osha]ih]a\n�riM i]\Pt]fOa�\PMa\if rOs] LMNOPMe\a\briMLM�fLMsO OPOdOLePM�v�v�v�fOL�\acMrn� MOs] LMNOPMe\a\briMLM�fLMsh\L�f� O OsOOdOLePMvQRSTUVUWTX�Z�O\b]\_aL]P\NO] POc]\dONOeafLOaMaNOrgsO\n]\Osha]ih]a\v�v�ONfiOt]ObOs+� ���O nsfe\a\i]\Pt]fOa�\PMa\if psOhfOOt]Ojkmbqluv�v�ONfiOt]ObOs��$��'���, �O nsf�\g]\�\PMa\if ph\Pt]Ojkmbqluv�v�ONfiOt]ObOs��'&$�, �O nsfO�fshO]\�\PMa\if ph\Pt]Ojkmbql�v�v�ONfiOt]ObOs#"+� ���O nsfe\a\i]\Pt]fOa�\PMa\if psOhfOOt]Ojkmbql�v���R���VUWT�/�b��&#���#$�#���1n��&#���$�&�$&���%&��$"3&�� +� "���+�������b#"��%�#���� �+� "����(#�������$��'���, ��#n�#$"#�����+� ����#n1������'&$�, ��#n�#$"#�����#"+� ����#n.wxRyz{|XZ}Z�Z�O\�OPPOc]\dONOeafLOaMaNO m�� o��o¡ o�¢o£ o��o¤o¥ qv�O\P\Osha]ih]a\sfc]fOhO¦Q|yUTU|§l ©vª|T�«�T«R��l¬v­®TVU|TR�¢m�ql��¯ur£m�o¡ql�°¡v±�R²UV�²|��m�q³� lur¤m�o¡q³��¯¡l�r¥m�o¡q³�l¡vµ\LMs\hML\a�\af\s_aL]P\srgOsh]Nf\asfsM �¶PfN\srs\hfs_\if�POsraO_]h\�POsM M�¶PfN\sO nv�vb�l��m�m�q· ¡¥m�o£m�o¡qqqv¹sh\_aL]P\Os]\sOhOif\vºMah\hMrMOs�¶PfN\O nMOsM�¶PfN\O nv�P\L\LMsb\P\_aL]P\�m�q· ¡¥m�o£m�o¡qqgP\fhOaeaOh\LMse\a\PMsNf_OaOhOs�\PMaOsNO�v �l�v¹ h\Pi\sMjmbqlurg\t]Ojm�m�qql�m�ql�v�luv�fhML\LMs¡l¬hOOLMst]Ojm¥m�o£m�o¡qqql¥m¬o£muo¬qql¥m¬o¬qluvºMah\hMjm¡¥m�o£m�o¡qqqlurP]OcMjmbqluv�l¬v»�Ma\eMNOLMshML\a¡luga\¼M\afc]\Pt]O\hOsv½\L�f� jmbqluv�l¾v¹ OshOi\sMrhML\LMs¡l¿giM OsMiMLeaM�\LMst]Ojmbqluv�l¿v½\L�f� \t]Àjmbqlure]Ose\a\¡l¾P\_aL]P\¥m�o£m�o¡qqOs�OaN\NOa\vÁÂÃÄÃÅÆÇÈÉÆÊËÇÆÌÍÆ

Page 20: 3 Lenguajes de primer orden.pdf

��� ���������� ������������������������������� !�"�#�������$%&'(#��) * �+�,-./�0�-12�34�5�-16�/��� 7#�8'9����#:;"��&#����#������<'# =�##>�"#?�./�0�-12�34�5�-16�/���� @#���#>#<�"��#�#8&#<��&#�('��'��#�$#&�"#<'����AB#"#<#&<�&#"�&$#&�"(�$�"(#((��+ CDEF GDEHIF CDJF KDJF LDEHKDJFF MDLDEHKDJFFF GDEHIFNMDLDEHKDJFFFOP QJPOR SEROPTU V U U UV W U U UU U W U U U U UX U U U UY W U U UU V V V VV W W V VV U W U U U U UX U U U UY W W V VU V W V VV W Y V VW U W U U U U U UX U U U UY W Y V VU V X V VV W V V VX U W U U U U UX U U U UY W V V VU V Y V VV W X V VY U W U U U U UX U U U UY W X V VZ��[��+����#:;"��&#��$%&'(#��) \ �]�.-�0�-1/� _ �-12�� a��#:;"��&#������#������<'# Z#$#"'#8&�/#B#"�<�&'8"���&#:;"��&# !�"�#���A(�8����$�"<�����'���"B"��#&#:;"��&#(�B��('��(�(�&��$#&�"��(�/ 7��#�����#$#&�"#<';�B#"#&#���/�b Z#:;"��&#���('<�����'-+�b�����<��-c�dA&�<�#&��<'�"�� �������$�������&#:;"��&#���#�'�:#<'8&���) 7��#���#>�"#��#$#&�"#<';�B#"#&#���/�� a�����<#��A&#:;"��&#('<�����'-+e��b�����<��-c�d !�"��������$�"(#(AB���d+e��b Z#:;"��&#��"�:��#8&���) f�>�<>�A���'������B#"#��#$#&�"#<';�gh�ijkl��]���ijkm��]���ijkn��]���ijko��]���p �ijkq��]��b����>#r#&�������#$#&�"#<';�B#"#&#���&#:;"��&#��'���"B"��#<���$�"(#(�"#Ar��#B#"#&#���&#:;"��&#��'���"B"��#<���:#&�#A&#:;"��&#�]���#�'�:#<'8&�r"�:��#8&���) s �t� �-16�2��34�-� u��v>#r�#�8'9����$�"����<�""�<��&#�('��'��#�$#&�"#<'���� g�-� �-16�2�� 4�-� �-16�2��34�-�b � b �� b � �d b � �w b � �x b � �yz{|}~|�z�~��z���z�}|

Page 21: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ���������������� �����!" #�$� ���%!�&#��#�!#&#'(#)*+,-./0 �12��( �#�$3 !��#&456789:;:<9=>?@#�+(&�12��( ��#(& #&A(�B#�#��!�#����#&5C5@#�!%#'(#+#�DEFGHIJKLMHENHGOLFPK�!����%(� '(!#�#���(%�(��4+#�$3 !��#&4Q#��#%!�0����%(� '(!#�!&�#���#��%!2&).*4RS-�#�!#&#'(#)*+-./T5U5@#�!%#'(#+#�JKNFJVKWFXLH�!Y�Z� A(&�#���(%�(��#& �'(#�#����!�1�%!" #Q#��#%!�0#[!��#(&�!&�#���#��%!2&).*4RS-���� �'(#)*+-./T5\5@#�!%#'(#+#�IHVDNKXLH�!Y�Z� A(&�#���(%�(��#& �'(#�#��#1(��" #Q#��#%!�0#[!��#(&�!&�#���#��%!2&).*4RS-���� �'(#)*+-.]T55@#�!%#'(#+#�W_ENIKPFWWFE�!����%(� '(!#�#���(%�(��4#�&�$3 !��Q#��#%!�0����%(� '(!#�!&�#���#��%!2&).*4RS-�#�!#&#'(#)*+-.]T5ab7cdef=?g?h?C5i�����$#�'(#jk*l*k-ml*n--#�(&!$#��� �#&�#$3 !��5o&��!�#� (A��0&��#���'(##���12��( �#�(&��#&�#&%!�5@(��&A����'(#�#&#���(&�#���(%�(��4%(Z����!&!�#�pZ(&�$� ���%!2&%(� '(!#��S5o&#��#���(%�(��0� �q�"� ��#%�&���&�#n�# #Y�"�3��!A&���(&# #�#&���# %�&B(&��pQ'(# ����#������"!r&nT5o&��&%#�)stuv*l*k-m l*n--.)*l*n-m l*n--./0!&�#�#&�!#&�#�#'(#l*n-�#!&�#���#�#%���%!#����%���1� ��5w(#A��#�!#&#'(#)s*jk*l*k-ml*n---./x���q����!&�#&���%�&���(!�(&���" �����%� %( ��# $� ���#$#�����# �12��( �5k l*k- l*n- l*k-ml*n- jk*l*k-ml*n--555 555 555 555n )*l*n-- )*l*n-- / /555 555 555 555Z�"�#�$����'(##& �y �%���#���&�!#&�#� $� ���# ���!&!�'(#���� �%�&���&�#n�"�#&#���'(#��"���!#�"����# �!�� !%�%!2&�!#&#&# �!���$� ���#$#����Q�(#�#'(#�#�]�/T0��� �'(# �!�� !%�%!2&#�$#����#��5o���y �Y�%#'(## $� ���#$#�����#jk*l*k-ml*n--�#�C5U5zk*l*k-ml*n--#����!�1�%!" #Z�#1(��" #5x������"�� �$�����������#���(%�(���5o&(&��#!&�#���#���3%���%!#���Z#& �����%���1� ��5KTo& ���!�#��#���(%�(��0p.{0n.|Zl*k-}k#����5k l*k- l*n- l*k-ml*n- zk*l*k-ml*n--] / ] ]/ ] ] / ]~ / ] ]555 555 555 555w���!�#��y �Z�&���!%#'(# �!&�#���#��%!2&�# �12��( �zk*l*k-ml*n--#�%#��5XT�Y��� �#���(%�(��#�p.��0n.~0l*k-}k�./5������������������

Page 22: 3 Lenguajes de primer orden.pdf

��� ���������� �������� ���� ���� ��������� �������������� � � �� � � � �� � � ������� �!�����"#$�#" �%�&��'#�( )*"&#( ���������������� �+�) $+,(�-"�)#� ,(�./.��������0�������� &,+1�� �+�) $+,(�-"�)#� ,(�.23#�!�3"�, "��#� �!�( �&+�& �+���"43"�� $+����'#���( )*"&#( ���"+�"5 #�'#�(��"��#(� !�����6�+���"$ &,+ !��.7.8�������0�����9+��& &��( �!�����"#$�#" � ���"+�"��5�� &,��$ ���( )*"&#( ��+���"3"�� $�&�%�"! !�" :$�&3"#1, (�;.�������� ,�&��'#�( )*"&#( ��� �+�) $+,(�.<�"�5=��� &,+1�"�)#� ,(�>�53�"�($���" "+���#�+%�"� (&����%6(+! .? &�� +����� ",#�$ "#� ���"#$�#" !��!�( )*"&#( ��+���"3"���$�&�) (� .< " ���5��$�4�+� &��'#��� $# (�� �(�(�&����@!�(!�&+�+�5( )*"&#( ��@�� 0������ ) (� 5(�'#��+A�+B$ '#�C���@��D��C�0�����D�.E������!+$�'#�F -'#��(�A+"#�3"�!+$ !�'#��� $+�"��3 " ��!��(���(�&�����!�(!�&+�+�.G�& &�������$��( �+A#+�������"#$�#" HIDJK5�D�5����D�:�����L�KD�;.E�� ($ ��5����&��H � ���� 0���� �����0���� 8�������0����� � � �� � � � �M.��0�������������$���" !+$$+*�.N(+A# ('#����(3"+&�"$ ��5�+O��#� % (�" $+*�5�����$��CPQRS������ �����D�5(#�A�CPQRS�0������������D�.T� '#U$��$(#+&��'#�CP���0������������D�9� $# (�� ( +���"3"�� $+*�C.V.8�0������ �������� �+�) $+,(�-"�)#� ,(�.<#�!����& "( ����"#$�#" �'#�F � 3 "�$+!��������W�&3(�3 " $�&3"�, "(�.XYZ[\]\] _ab <"#�, '#�Hc.8������������� �+�) $+,(�-"�)#� ,(�.d.�������������#�+%�"� (&����%6(+! ./.�������0������� �+�) $+,(�-"�)#� ,(�.7.8������0������� �+�) $+,(�-"�)#� ,(�.M.8��������������� �+�) $+,(�-"�)#� ,(�.V.�������8�������#�+%�"� (&����%6(+! .eZfg]\]hg_i 9� jDklmnlKnooonlpq#�$��W#���!�)*"&#( �.9�!+$�'#�j��� �+�) $+,(��+�r+���#� +���"3"�� $+*�CD�snO�� ('#�CP�lm�DCP�lK�DoooDCP�lp�D�:��!�$+"5�r+���#�&�!�(�3 " ��! �( �)*"&#( �!�j;.t�$��W#���'#������ �+�) $+,(���!+$�+�� �+�) $+,(�.XYZuvw _ax yz{|}~|�z�~��z���z�}|

Page 23: 3 Lenguajes de primer orden.pdf

������������� ����� ���������������� ������������ !"#$! %#&'(! &&%� !(! &')! &&%" !)! &*�#+$! %#&&%" $! % &%" +$! % &,�-�./0�1/.23/4�356���00�7809�184:��;�3��0/<7/.�./0:�08=68�>7��07361763�?@ABCDCAE�F�GHIJCKLJAM(! &N �08.2�3<)! &�O<$! %#&N P#�08.2�3�QR�./0�R�356��>�07��07361763�7/S�0:�09T3.6:�0S��0�8>7�323�7�>1/./R�3S�S�3�0?� !"#$! %#&'(! &&�U>7�323�7�./0:�9T3.6:�"#$! %#&'(! &2�3�:/0S8078>7/0R�:/3�0S� �V�8 �02�3�W>�0�1�0/<X!$! %#&&�Y2�3�16�:568�3#<Z�56� P#�06>>[.�3/2�3\�:0�3:/ ]�;/37�>7/<X!"#$! %#&&�Y<:6�=/X!"#$! %#&'(! &&�O�V�8 �08.2�3� _/3�X!"#$! %#&&�O\2/S�./07/.�3#�O]�;�3/7�.48>X!(! &&�O�a6�=/X!"#$! %#&'(! &&�O�;/37�>7/<0�78�>�56�X!� !"#$! %#&'(! &&&�O�� !(! &')! &&�:0�3X!)! &&�O2�3�16�:568�3R�:/3S� <�>7/>1�0X!(! &' )! &&�O2�3�16�:568�3R�:/3S� <:6�=/X!� !(! &')! &&&�O�" !)! &*�#+$! %#&&��87/.�./0 �Y<�>7/>1�0<2�3�16�:568�3#<X!$! %#&&�Y<:6�=/X!+$! %#&&�O�;/37�>7/<X!)! &*�#+$! %#&&�O�W0S�183<_�Z6>R�:/3S� 56�_�1�18�37�:�9T3.6:�)! &*�#+$! %#&�W0/08=>8b1�56�X!" !)! &*�#+$! %#&&&�O�" $! % &�;6�07/56�OPO�08.2�3<�>7/>1�0X!" $! % &&�O�" +$! % &�_/3�7/.�./0 �c� :0�3cPc6>>[.�3/2�3<7�>�./056�X!" +$! % &&�O�d�W:1/>e6>7/���+� !"#$! %#&'(! &&%+� !(! &')! &&%+" !)! &*�#+$! %#&&%+" $! % &%+" +$! % &,�08>0�7809�184:��W:./78R/�056�:�0S/0[:78.�09T3.6:�0>/26�S�>0�3R�3S�S�3�0�:�R�f��8:�16�37��0R�3S�S�3�<�0S�183<>/�g807� 7�:56�X!$! % &&�O<�>7/>1�078�>�56��g807836>�:�.�>7/ 7�:56�X!+!$! % &&&�O�;/37�>7/<X!+" +$! % &&�Y<�0S�183<:�568>7�9T3.6:�0�8>7�323�7�1/./9�:0��hijkljjmjnopqrjnqklqnstquivqimuilq���wx%wy%wz%w{%w|,}ujjkksl~k�sv~�pj��jpvqimuilq����+wx%+wy%+wz%+w{%+w|,jk~iksl~k�sv~�pj�hklqiql~jijoq�}u�kj�sk���q�jmjnopq�jpvqimuilq�� !"#$! %#&'(! &&%� !(! &')! &&%" !)! &*�#+$! %#&&%" $! % &,jkksl~k�sv~�pj�svs�snqktj�j�uisjkl�uvlu�stqitjlqtskpsk���nupskkqiv~j�lsk��hpvqimuilq�+� !"#$! %#&'(! &&%+� !(! &')! &&%+" !)! &*�#+$! %#&&%+" $! % &,jklsn�~�iksl~k�sv~�pj��sk~�u~jiljjkuisjkl�uvlu�stqitjlqtskpsk���nupskkqi�j�tstj�sk�@ABCDCAE�F�GHIJCKLJAM(! &N jk~nos��)! &N jko�~nq�$! %#&N �#��jtjmsvqnqjmj�v~v~qvqno�q�s�jklq�pl~nq���MIH�LKC�D��qipq}ujrjnqk�~klqrsklssrq�siqjk��v~pvqno�q�s�}ujuivqimuilqtj���nupskjk~iksl~k�sv~�pj���kstjpsiljjklut~s�jnqkl�vi~vskos�svqno�q�s�}ujuivqimuilqtj���nupskjk~iksl~k�sv~�pj� ������� ¡¢�£¤ �¥¦�

Page 24: 3 Lenguajes de primer orden.pdf

��� ���������� ����������� ���������������������� !"#$ %#&&'& (&)$*& +"!,$-./-/0!,!/'$ 1& ,/',&-(/*&!)- !,$,!+'0&)2'(!,$&0& %#&'/03$$*&,!.,#$'*/#'$*&*#,,!+'&0,/..&,($*&'(./*&#' &'"#$4&*&-.!)&./.*&'56789:;:<9=>?@ABCDEFGEHDEIGJAKLMNDOBPJADEOAEQDBHAJARMSNAMGMJAETPABUDEBKLMNDOBJAONSPNGOAEQDBHAVWAFSNGPXDAUAPFGEPAFDAEFSBOLQSFBJACPSRBMBFDBOXDSAMSEIAMRMAIBFSLEAEOBXDAIGJBPOBPRMGRGPSFSGEAPKLMNDOBPJACPABEYAMJBJAMBPPAISAEAXDAOBKLMNDOBUAPIBNZS[EFSAMIBV\EIBOFBPG]APFMSZSMANGP C_UTOAAMANGP UAPFGEPAFDAEFSBOLQSFBJACGIBNZS[E CSNROSFBPAN EISFBNAEIAUVabc7def;:<9gh!CijklmknmooomkpqrC_U1&0,.!s!.&)/0klmknmooomkp_U5t&./$u/.$1-$.$3&.0!klmknmooomkp_U'/-/*.&)/0u$,&.,/)/&'& ,$0/*& $ +"!,$-./-/0!,!/'$ *&(/)$.(/*$0 $0!'(&.-.&($,!/'&0&' $0%#& $0-.&)!0$00&$',!&.($0r3&.%#&/,#..&,/' $,/', #0!+'1r$%#&& ,/'4#'(/*&($ &0!'(&.-.&($,!/'&0-#&*&0&.!'v'!(/5w/%#&0x&0,!&.(/&0%#&0!&',/'(.$)/0#'$!'(&.-.&($,!+'yiz{m|}($ %#&yzkl}iyzkn}ioooiyzkp}i~&yzU}i�1&'(/',&0'/&0,!&.(/%#&C_U5�#$'*/& ,/'4#'(/C0&$3$,x/1 $&�-.&0!+'C_U0!"'!v,$%#&U&0#'!3&.0$ )&'(&32 !*$5�'($ ,$0/1&0,.!s!.&)/0_U5��7����=?=?�?�V�BNGPBYAMXDAj���z�}q_�z�}V\PIGRBMAFAFOBMG]RDAPPSAORMAJSFBJG�APFSAMIGRBMBIGJGPOGPYBOGMAPJA�]AERBMISFDOBMJAZAPAMFSAMIGRBMB�i�V@SXDSPS[MBNGP�BFAMDEBIBZOBAEOBXDA���z�}KDAMBFSAMIG]APIBIBZOBPAM�B� �z�} ���z�}VVV ~� ~ ~VVV ~�RDAPIGXDAIGJGPOGPAOANAEIGPJAOBFGODNEB�z�}ISAEAEXDAYBOAM�]AEIGEFAPBXDAOXDAAPI[AEOB�OBJAOAOANAEIG�YBOA�]OGXDAPSQES�FBXDAyz�z�}}i~V�V��GMBYBNGPBFGNRMGZBMXDA���z�}�_�z�}V�BMBAPIG]YBNGPBJBMDEBAPIMDFIDMBAEOBXDA���z�}PASEIAMRMAIAFGNGFSAMIB]RAMG�z�}EGV\PIBAPIMDFIDMBRGJM�BPAM6��:9:��i�V��9c�f9�7c�i~V�d7�:;f��c�z�}��APRBMV\PFOBMGXDAyz���z�}}i~]TBXDAAEAOJGNSESG�RGJANGPAEFGEIMBMDEAOANAEIG RGMAHANROG]AO�¡]RBMBAOXDAAORMAJSFBJG�APFSAMIGV@SEANZBMQG]yz�z�}}i�z~}i�V¢£¤¥¦§¥ £©§ª«£¬­®£¦¥

Page 25: 3 Lenguajes de primer orden.pdf

���������������� ����� ��������������������� !"���#!"$���#$�����"��%�������&���������!��'���#�(&�������#)*+*,-*,.*/012,,*3/*1)4-2,567814)2,2,93.*/012���"� ���#:"�67814)2,2,/*1)4-;<���#�=�&�"��&�#!�&���������!���"����>"�%����&���&�&���?�"�:"���#��"��@�����&���#�A#������!��B�������>"�%����&���&�&���CDEFGHIFJHIKIFLMINMHO?5���#���&���#���#!&"�!"&�PQRSTUTRB�&�#$�$�#�VRUWXYUXZWGDB@�&�!�#�[\Z]TY]RWLEJO_J�# ��a&��NEJO_J�#��&!���b�!����#������#!&��"��&��#!����>"�%��#!�#��"������#Pc���#��# ��a&�##����&!���#�B���& �dJELEJOeNEJOO�B@�&�!�#�# ��a&��B���& �LEGO�B@�&�!�#�#��&!���B���& �NEGO�b�!����#�?��:"� �a& �:"�����&�a�&�##�FdJELEJOeNEJOOILEGOHfNEGO�gA#������!�����&�a�&���#:"��#!����������@�#��A�!����#���&!��hijklmnopqrsitikurvuwpjiqpxpjpqpjlnlpuyxpnz{nwpquwpqpvypvtpjkruv|unx{}pxivp|uvwuvlyp~lvjpvuwriq{xlrsixpjp�����������|�{u}itujpv�lvwp�{uuvxlurwp��ZR\ZSY�������B���"����%"�!���=@&�"��#5��!&�=@&�"���B���:"�$����!�#P���f�����F��H�#��#�!�#=���a����*/�4142,)2)2*12/48*32-)2*12/4�;�;�;�4+2/*,)148�732,43�-*�44-4�92,2.��*23,9/*/23)*;�-)2*12/4�;�;�)4/0��3)�232,9 21,�734-4-7��84+2�12+�84+*,;�ZR\ZSY����¡¢£2*12/4+2-4¤2+988�73¥�B���"����%"�!���=@&�"��#¦:"����& �#�&$�� �§��"����>"�%����&���&�&���?5�? ?�!&�#��#=@&�"��#�b�!����#��##�>"���!�#�(&�������##���:"�$����!�#P���f�e¨����F�Hf¨�4+2/*,)148�732,��94-4-4�92,2.��*232-84,*+2-4-7��84�1*�*,�8�*34-;©ªZS«¬R����¡�<���#�����&�a�&:"�dJ­EJOe ­E®O�#"��$�&#�����!�$A�����b#!��#����#��:"�����#!&�&:"� fdJ­EJOe­E®O5��&��!��&����������"���@�?�#!�#�!&��"����dJ­EJOf­E®OI��>�:"� ���# ��������%�����������°±²±³µ¶·¸¹µº»

Page 26: 3 Lenguajes de primer orden.pdf

��� ����������� ���������������������������������������������� ������� ����!��"� ���� �"� �#�#�#�� ���"��� �� � ���"��$���� ��!�����#%&����!�����'#���������%(')*����"�#+���#����� ,���#��#��+������ ����������# �+�� � ��������� ��"��"����#��-.)*#��# �#�/"��"�#������#��+���#��������������� �����#�� ��#�����!��"� ���� �"� �#��#,���������#���������������#�/�� �#)0���"���#��������!��"������#�"���������������� �1�+�#23�����&���/�� � ���#���"�!�)����#��##��+,������ ���#���������"��$���� ��!�����#�����#���#��"�����������$����"�����������4)5)6��#������,���#��� ������������� �#�%('�%7(')�8����"�����������9)9)6������/��� ���#����#���������������� ������"�"�!�#��:���"������������� ��#�� ���#���"��$���� ��!�����#�#�����#���#��"����)3��������� ������"���#��# �#�/�� �#��"�#��:����#� � �����!����������#�������������������+������������ �������� �;�������#���������������#�������"���#����<)*#��#����#�����"����##�"��#���,��������� ����#����+����"��#�!��"�#�:#�"�#)�8���+���#���"�#������������"� �)3���������������#�����+���#��=��� ����#�����#������,���# �����+����"��#�!��"�#��!�����#����#��������+�����"�����>"� ���#)?@A@ BCDEFGHIJKEGHLMEKG@*�"��"���� �����+����"���!��"���������$�# ��������� ���##�����������#� �����!��"������#�"�����;+�� �>��"�!�65<)NOPQRSRTQUVWXYZ['\] _ abcdefZ Ye[fY[geZhY YicjdYc_cY[kXY jlYmeY _[fbgjlZdY[nYYmejoZfY[nY jiZcZleZfmejYcj[nYcicYnZljb[pqrstuvYnjY[YmeYpr'vqpr]vkw�'&]#���!��"����������+�����#��#"��������#'x])*#�:"��"����������� � �# �#�!�����#'&]���##��������#����"�� �##������+������#y6)'&]#���!��"����������+������#)4)'z]�#���+��#�������+:�� �)9)'{]&]{'#�����+��#�������+:�� �#)5)'(]&](')|}~O���SRTQ������/���������$�# ��������� ���� ���##�#�������!�����#�������#���#����!��"����������+������#����#��������#���� �)w�]��#�!��"����������+�������].�&'�#����!��������������]��#���#���!�����������"�#���!����������#���� �#�#��������'���!�����]����].�#�!��"����������+�������')*�����#�������#�#�������!�����#�#�������#���#���!�������������!��"����������+�����������#���� ��#����!������!��"����������+������)���8��� �����#����������!������������!��"����������+��������������#+�����"�� ��4)9���+���#����������������&�����"�� ���#�8���)*��#��"�� ���'�]&������#������!�����#"����#������ ���������$� ��������� ��)' x ��''{] x �'�]'z] x r'{]v�r]{'v�r'�]v x �'��]�r'�]v x �'��]'�r]��v x r'�]v��'�r]��v x r'�]v��'�r]��v x r'�]v�r'��v'�r]��v x r'�]v�r'��v0�� ��9)6y*���+����"��#���������������������

Page 27: 3 Lenguajes de primer orden.pdf

������������� ������������ ����������������������������� ��!��"�������#$���"�%&�"���"��'(�&��������������%���&�����������������������������������������&���$�����������)��"�&��'����*�������&!�&���+�&��&���+#&��������&�������$���"�����������)��"�&����%&����%��,-��-�&�"��"�����#������"���+#&���������������"�&��.�'/010 23456789:5;<7396=;783>4;=78?������&���&"�����"��&���������%�&������������)��"�&��@-A���&��%���������������&���#$����B,C,D,E'F�"����+#&����G,���H�����"���&�����I-��� &����J,"�����&��������GKLM���+#&�������&������"���������&��"��������&&���������&��"�I��G%�&��� &����J'NOPQRSTUVWVXVYZ[G\@I]A_]Ia]bbEc] Ibbdedf[g[hi[jkilZgmngolpqJrZmlZpZkiZGKLM\Gst[kiZ[jpqu[vZgplpwip[qhiggZphl[jlvgZxZIZpj[yzgoij[GspqrZgZ[jl{[plpwip[rirmlmihlzpd|dG}L~\@I]A_]Ia]bbE c]�IbbdYzjqrZu[rirmlmilxqj[^xZc] Ibst[kiZj[rqmg[r[�[gl�hlqpZrxZ rqpjlw[x[rd�dG}L��~�\@I]A_]Ia]bbEc]a]�bIbbd�dG}LK\@I]A_]Ia]bbEc]IIbbd�ipkiZZrm[rirmlmihlzp�iZxZgZ[jl{[grZpqZru[vlmi[jgZ[jl{[gZrmZml�qxZrirmlmihlqpZrd������ �����������������������?����,��%&���&��$�&,�*����)��&���%�&���������&+#&����G,���+#&�����B@IG-AIBG���������������'�����"�&����,%�&�*��%��,���������"��qxqrjqrp�oZgqr�gloqrrqplo�[gZrd��%&���&��$�&,�������%&���&�����������"��������$��*�"�%&���&�&"��'(�&�����,������������$��*�"�%&���&�&"�����"���H������"�%&�"���"� ¡�&���c¢�£¤,-�����"�&���������&����&���-�"�������������¥��&������&����-�����$��)��"��"�����H������"�%&�"���"����c¢]Ib¦I��%&����£¤]Ib¦I����%�&'���������,���������"�mqxqrjqrp�oZgqr�gloqrrqplo�[gZr%�"�����&�"���&������@I]c¢]IbE£¤]Ibb'§�"����������������������"���+����,��������"���������������&����&�,��+#&����B@I]c¢]IbE£¤]Ibb������&%&����������&��'��������%�&�����������������+������%�&���.�-���¥��&������%&���-������%�&��©ª'����¥�������%�"����"���&����AI]c¢]IbDB£¤]Ibb'«����.���������+������+#&����@I]c¢]IbE£¤]Ibb��"���&,��������&"�"�&�B@I]c¢]IbE£¤]Ibbª������������.�����&"�"�&���+#&����AI]c¢]IbDB£¤]Ibb'¬���������G�c¢]IbE£¤]Ib,��������AI]c¢]IbDB£¤]Ibb¦AIB]Bc¢]IbC£¤]Ibb¦AIB]c¢]IbE£¤]Ibb¦AIBG­���$���������������#�"�������+#&�����B@IG-AIBG��$��)����������'®�&��*��%��,%�"&H���&����$����������$���#�"����mqxqrjqrhiZg°qrrqppZwgqr�����.�-������������&�����������$&�'�����������"�%�"����"���&���������$��*�"�%&���&�&"����������������@I±]Ib,"��"��������&����&H������*����"���"��������&���,-��%&�"���"�±]Ib��$��)��²ZrpZwgq'��������,����"��������&��������$&����"�&H�B@I±]Ib,���������������"���&���.�-�����&�����������$&�,������������$��*���&H�AIB±]Ib'(�"��������� ��%&�����&��������������������������$��'³µ¶µ·¹º»¼½¹¾¿

Page 28: 3 Lenguajes de primer orden.pdf

��� ����������� ��������������������������������������������� !"#$���������������%�������������&'������(�&��)�����������������&'������*+,-+.-///-"01)2����%���#��%����&(%���� ����3��������&��&��������4����(�&����%���%�����5#����%&�6 !"7"89:;5"89:<5===5"89:>�&�����������%����&(%����?����3��������&��&��������4����(�&����%���%�����@6?!"7"89:;@"89:<@===@"89:>A����3���������%�����B !"7BC"89:;5"89:<5===5"89:>D7B"89:;@B"89:<@===@B"89:> 7?!B"2���%&�#����3����'�������&'����%&�B !"7?!B"%�������������&E�%&��������$��F�G�����BC"5HD7B"@BH)IJKLMNOPQRQSQTUVWXYZ[\UWZ]]ZV_aZYZb[X\Z[U[YZVcUVd[ZWWe\fU]UWYZcUVWdVdZ+ghgij_VWe\fU]UYZb[ZYXcYUk,lmZ "]no[\_] !kC!DpU\ \UW_V ZWd[_cd_[ZV]q_Zrstuvw +tx- hty- itz{VZWdZcWUg]no[\_]"ZWcXZ[dWXgjWo]UWXg]UZW]no[\_]kC+D5kChD5kCiDl|U[dVdUg]no[\_]B"WZ[}cXZ[dWXgjWo]UWXg]UZW]no[\_]BCkC+D5kChD5kCiDD7BkC+D@BkChD@BkCiDgjZWdno[\_]WZ[}cXZ[dWXgjWo]UWXg]UZW?!BkC!Dl|U[ZaZ\b]UgWXVZ\UWZ]b[ZYXcYUkYZ]WX_XZVdZnU[\ rkC!Dt~y WX!.t!x WX!.�t!! kC!D !kC!D B !kC!Dx yy y x yz x ! kC!D BkC!D ?!BkC!Dx y xy y x yz x y� b[XcXoVYZ_VxZV]cU]_\V kC!DYZ]b[X\Z[df]g�cZq_ZZ]�]U[YZ�Z[YYYZ]no[\_] !kC!DWZ xgjbU[dVdUZ]�]U[YZ�Z[YYYZB !kC!DZWyl� b[XcXoVYZZWdZxWZd[Y_cZZV_VyZV]cU]_\V BkC!DYZ]WZ_VY df]g]Uq_ZY ]_ [q_ZZ]�]U[YZ�Z[YYYZ?!BkC!DWZ ylF����&��������#�&������%������kC!D�����y#�����%���C !kC!DDty#������CB !kC!DDtx)2�����%���#������%������BkC!D��%���#������C?!BkC!DDtx)kC+D kChD kCiD kC+D5kChD5kCiD BCkC+D5kChD5kCiDDy y x x ykC+D kChD kCiD BkC+D BkChD BkCiD BkC+D@BkChD@BkCiDy y x x x y yA�������������������&'����%&� B !"7?!B"/�&��������H�B"#$���������BBH7H����%&������B?!"7B?!BB"7BC?!BHD7BCB !HD7BB !B"7 !B"2��������#�����������&��&��������&'����%&��6���������������������

Page 29: 3 Lenguajes de primer orden.pdf

������������� ������������ ��������������������������������� � !"#$%& '()*+( (",-'%*'(-!!%& '(# !#- .%/!-'*,0�12345�6789:;<=>?@4:A6B95:C83=4>9:@4;<=>?@4���+7�D53:E3B4:9A@4;<=>?@47F?384;?3=483@=48C9834BBC<583@B?45ECGB489=���H9:I=3J?5E4>9::C3:I9:CK@3C5E=98?BC=@4;<=>?@47835E=983@=48C9834BBC<583���L4>9:4B35E=4=59:353@B4:983F?359M4645C5J?549B?==35BC4@CK=383@4N4=C4K@3�35@4;<=>?@47�D5E4@B4:9A3@N4@9=83N3=8488375983I358383@N4@9=83��O353>9:35E95B3:B?4E=9I9:CKC@C8483:83I358C358983@9:N4@9=3:83N3=84883���67�D:E4:B?4E=9I9:CKC@C8483:@4:454@CP4>9:35@4:CJ?C35E3E4K@4Q� � ��� 7 ���+7 �+7 ��R�+7STU VWXYZ[R�S \T] VWXYZ R�S \��� ��� \ \ \ ��� \T_ \ \��� ��� ���TU VWXYZ[R�S VWXYZ[R�+7ST] VWXYZ R�S VWXYZ[R�+7S��� ��� \ ` \ ��� \T_ \ \��� ��� ���TU ` \T] ` \��� ��� ` \ \ ��� \T_ ` \��� ��� ���TU ` `T] ` `��� ��� ` ` ` ��� `T_ ` `��� ��� ���D@I=C>3=B4:93:B?4589VR���Sa\3VR7Sa\�2CVR���Sa\3:I9=F?3M46?53@3>35E9T_bcI4=43@F?3VWXYZdR�Sa\�e4=43@=3:E983N4@9=3:83@89>C5C9A3:C58C;3=35E3B?4@:343@N4@9=83N3=84883�f3:E9@9=3g3h4>9:353@I=C>3=E=4>983@4:3J?584B9@?>54i�e3=9I4=43:E9:N4@9=3:83@89>C5C9AB9>9VR7Sa\:3EC353F?33@N4@9=83N3=84883�+7a\�D:E93:@9F?3C58CB4>9:353@I=C>3=E=4>983@4B9@?>54:3jE483@4E4K@4�D@:3J?589B4:93:B?4589VR���Sa\3VR7Sa �D5E4@B4:9A59B959B3>9:3@N4@9=83N3=84883VWXYZkR�+7S:4@N9I4=43@N4@9=83@89>C5C9I4=43@F?3:4K3>9:F?3VWXYZdR�Sa\�l9:89:m@EC>9:B4:9:3:B?4589VWR���Sa �D5E4@B4:9AI4=4E989:@9:N4@9=3:83@89>C5C9:3EC353F?3VWXYZdR�Sa �L3>9:F?335@9:B?4E=9B4:9:A���+76��R�+7SEC35353@>C:>9N4@9=83N3=848�n3;9=>445o@9J4:3I?383N3=F?3���)7���R�)7S:C@4N4=C4K@3�59EC3535C5J?549B?==35BC4@CK=335@4;<=>?@47� pqrsrtuvwxuyzvu{|u

Page 30: 3 Lenguajes de primer orden.pdf

��� ����������� ������������������������������������������ �!��"���#�!�$��!��������#���$����������!�����������"��%����&����'(���!"���#�����)����*+,-./ 0 1-2345.-2346.777.-23489./0 1-2345.-2346.777.-23489.1/./.777./90 1-2345./9.1-2346./9.777.1-2348 ./9: 1-./92345.1-./92346.777.1-./92348 0+,1-./9+,-;/ 0 1-2345.-2346.777.-23489;/0 1-2345;/9.1-2346;/9.777.1-2348 ;/9: 1-;/92345.1-;/92346.777.1-;/92348 0+,1-;/9<������=���������-23>./:1-./923>?-23>;/:1-;/923>#�����!���!�@��!���������"�������!� �����!�,����!�������A#��!�BC���!�/����=�"����$����������"�C�#?����!� �����!�,�������"�!�������$��� �@'(������=�"�������������������"�C���!����� �!��"������������BC���!��'(����B���������$��������������$!��"���$�����!�@�"��������!$����!�?��!C$�"��'D���%���!�#+,-;/0+,1-;/9�������� ����"�������������C���!�!�?���������� �'E!����� �!��"��+,-./0+,1-./9"�������������C���!����������"��F%����"��!����"���� ����?"�������� ����G'H���!�$����!"�����&"������� ����!�� ��������!"�����&"�����������"��!#�������!������'(��!��$������"����������������������� �!��"����������BC���!��-?/����!��$��%��������������'(�/��=�?�"�����"��� (�-��=�?�"�����"���!�������!� �����!�,I !�������!� �����!�,I+,-./0+,1-./9 -.+,/0+,1-./9+,-;/0+,1-;/9 -;+,/0+,1-;/9J,-./0J,1-./9 -.J,/0J,1-./9J,-;/0J,1-;/9 -;J,/0J,1-;/9(!"��������!� �����!�,���$��!$����"�����"��!������!�BC���!�������������������"�����!��������""�C���!"�����&"������������K�K����!����'L���������# ����� ���!$M��%���!�����������������!����� �!��"������"�����'NOPQRSTUVWVUVXYZ[\Z]_ab\Z]c:+,1d1,ef9gh1,99.i1,9j:+,11d1,ef9gh1,99.i1,99klm[]noYZam]\ZY]pbqpbZ]nrbnY[pYst:uvw fxgyw d1,ez9:{y ]n,|:z} ]n,|~:zh1,9:{y ]n,Y]b[noZo} ]n,[mY]b[noZo i1,9:{y ]n,|:,} ]n,|~:,�ZZ\Z�Z\mZqn_[�1,9:}\m]�Z\mY]oY�YoZooYZa�Z]_ab\Z]]m[s, d1,ef9 h1,9 d1,ef9gh1,9 +,1d1,ef9gh1,99 i1,92�� c} } } yy y y y� } y y y y y� } y y� y y y, d1,ef9 h1,9 d1,ef9gh1,9 i1,9 1d1,ef9gh1,99.i1,9 j} } } y y yy y y y y y� } y y } } }� } y y } }� y y y } }���������������������

Page 31: 3 Lenguajes de primer orden.pdf

������������� ������������ ������������������������������������ !"#$%&%&'()*+,-.-/012345-/5-367-845--89-8-7,182328:;-76,31,3-45;<,1-8:;,3=>?@AB=>C?@AD*E>?FABE>C?FAD*E>?@ABE>C?@AD*G*H2/075-I,45-3;1,<,7;,I1->826;-8-8;8958,2:577-8:;,1;I7--8A-8628:-3AJ =>?-31K9;:,/-86--45;<,1-86-,=>CAJ?DL0-7245--89-8-7,1=>?JA82-3-45;<,1-86-,=>C?JAD*M*N53:,58,OK7/51,-45;<,1-86-,=>?JAP-O27/,45--17,P;2P-,::;K8P-1:5,86;Q:,P27;8:15R,,A*S*T-0;6--1-.-7:;:;2,86-7;27:281,3OK7/51,3E>?JARAJE>?*UVWVUV XYZ[Z\]Z_\ a b]\cZd]efagVh23:5,86;Q:,P27-33-53,80,7,:5,86;Q:,7<,7;,I1-3*i8628:-3L:5,8P26-89,/2358:5,86;Q:,P27R1,OK7/51,32I7-1,45-,:6j,k357,P;2P-,::;K8l82P-0-8P,P-1,<,7;,I1-45-:5,86;Q:,L-1:5,86;Q:,P2705-P-3507;/;73-k58:5,86;Q:,P2745-82:5,86;Q:,-3:2/23;82-365<;-7,l*+;:m2P-267,O27/,L3;?-358,OK7/51,45-826;-8-2:577-8:;,31;I7-3P-1,<,7;,I1->-8628:-3=>?R?3281K9;:,/-86--45;<,1-86-3*i80,76;:51,7L3;?-3P-1,O27/,=>A2E>AL-8628:-302P-/233507;/;7-1:5,86;Q:,P27=k-3P-:;7L=>=>AB=>AR=>E>ABE>Al*+-1,/;3/,O27/,LE>?R?3281K9;:,/-86--45;<,1-86-33;-8?82m,R2:577-8:;,31;I7-3P->*i80,76;:51,7LE>=>AB=>ARE>E>ABE>A*H2/27-91,9-8-7,102P-/233,:,745-3;58,<,7;,I1->,0,7-:--8-17,P;2P-,::;K8P-P23:5,86;Qn:,P27-3op>Roq>koproqst=rEulL-145--36v/v3,1-.,P2k/v3,1,;w45;-7P,lP--11,82,:6j,32I7--11,*!"#xyz'{|}|~|������������=>C�C>DJE>�C>r�DD�������������������>���C>r�D�����������������������=>���E> ������������������������������������������������=>��������������������������������������������> UVWV�V �][�Ze a�]fZ]�Ya�50289,/2345-P-:;/23���������������������>������>������>�������*i36,,Q7/,:;K802P-/2367,P5:;71,,581-895,.-P-07;/-727P-8:2/2E>C�C>DF��C>DDk82<-/238-:-3,7;2P,7-�01�:;6,/-86-1,-3675:657,l*i3:1,7245--36,O7,3-3;98;Q:,12/;3/245-�������������������������������������������L:5R,67,P5::;K8,1/;3/21-895,.-P-07;/-727P-8kR:283;P-7,8P21,/;3/,-3675:657,l3-7�,E�C�C�DF��C�DD*�,7-:-:1,7245-1,3OK7/51,3E>C�C>DF��C>DDRE�C�C�DF��C�DD3281K9;:,/-86--45;<,1-86-3R,45--1<,127P-<-7P,PP-1,07;/-7,82P-0-8P-P-1<,127P-1,<,7;,I1->3;823K12P-13;98;Q:,P2P-1233�/I2123P-07-P;:,P2�R��LR-1<,127P-<-7P,PP-1,3-958P,82P-0-8P-P-1<,127P-1,<,7;,I1-�*�,I-/2345-,1;86-707-6,758,OK7/51,:2858,<,7;,I1-1;9,P,L1,<,7;,I1--8:5-36;K882-33;98;nQ:,6;<,*h245-45-7-/23-3<-73;58,<,7;,I1-1;9,P,02P7�,3-7:,/I;,P,027267,*i13;95;-86--.-/0123-8:;112823/5-367,45-823;-/07-05-P-m,:-73-,3���� ¡ ¢£¤¥¦£§¤£©ª£

Page 32: 3 Lenguajes de primer orden.pdf

��� ����������� ��������������������������� !��"#$%&'%()(#*+,-./01��� -/���/2�!,2!��/03!0�.2�456789 &'%()(#*6:; /0%)6#< /0%)=6#>-.��?��-��,0�.@'%*6;+@')*6<+@'#*6;/�20�.�4# % &'%()(#*ABC $%&'%()(#* "#$%&'%()(#*< ;< ; ; ;D ;< <; ; < < ;D << <D ; < <D <�0,� E0� -/%F-�)+2�.� -/����� !��"#$)&')()(#*+�.,!G-,�/-2�.� -/# ) &')()(#* $)&')()(#* "#$)&')()(#*< ;< ; < <D << <; ; ; < <D << <D ; < <D <HIJKLMINOPPQRSNTQRNIPUPKVPMIN)JLKIPQRNWPOMVPOLTIP%XPPJPKNWNNYIPZ[KORIP\]RJLYPOLTQRN_NTRYPZ[KORIPNYIPQRNYL PXYVYRYPLWRKKNYWVPaNIPUPKVPMIN)bYVIVMKNYVIVPaPc\HYdLYWNT$%_e$)_fgAhX"%_e")_fgA\�����������i�jk���_6$%'&'%*l"%m'%(n**ko!�/2-p!���?��0�E��).-�F���,��.����10-1��,,0�.1�$%+�.2-.,�/F-1� -/,� E0���/2�,!�.20q,�1-�F-�$)kr-/p!�1�p!�_�/��30,� �.2��p!0?���.2��$)'&')*l"%m'%(n**kr-2� -/,- -s� -//!/202!01-F-�)���F��0,0�.�0E��1�%�.&'%*l "%m'%(n*kt/2-/�,-�u��/F-.1�,-.�-p!�10v0 -/�.���v� F�-wkxkykz�%1�m'%(n*�/2{,!�.20q,�1�F-�"%+F��-.-F-�$%+�/|p!�!.,� E0-1�?��0�E���.�/2�,!�.20q,�1-�.-����2���k}kt.��,�/-1�p!���?��0�E��F-���p!�/!/202!0 -/�F���~,��.����� !��+F��-.-2�.3�.0.3!.�-,!���.,0��0E��+�.-,�/0-.�/-E2�.1�� -/!.���� !����30,� �.2��p!0?���.2����F�0 ���G�.-2��/.-ko-��v� F�-+/02�.� -/����� !��$)'&')*l"%m'%(n**+F-1� -/,� E0����?��0�E��)F-�%��.,!�.1-��?��0�E��%�.&')*l"%m'%(n*k�02�.� -/����� !��$)'&')*l "%m'%()**+�.2-.,�//0����0~� -/��,� E0-1�)F-�%+����� !��p!�-E2�.� -/+$%'&'%*l "%m'%(%**.-�/��30,� �.2����F�0 ���kt� -20?-�/p!���?��0�E��)1�m'%()*�/2�E�,!�.20q,�1�F-�$)+��,� E0����F-�%F�/���/2��,!�.20q,�1�F-���"%p!�/��.,!�.2���.��0.2��0-�1������ !��k���������������������

Page 33: 3 Lenguajes de primer orden.pdf

������������� ������������ ��������������������������������������� �����!����"���� ������! �#�� �$"����"����"%����&�� &"���#�����'��� �('��" �)*+,+,+ -./012/30245673289/:;+<=>?@A>BCAD>AE?@F>BD>AGH?FIJ@BKCJ@G>?F@LMNOLMPQLMNRLMPST>BU?CVIAE@F>BBWB>ACXIWY@JCAECB@J@BGH?FIJ@BLMZNOP[QLMZNRP[?CBUCDEWY@FCAECS\ABCVIWK@U>KCF>BK@?A>BDICAE@XICCACJBCVIAK>D@B>A>CBU>BW]JCS >ABWKC?@F>BJ>BCAIADW@K>B_����a������������#�����#��)����a������������#��������a��������������#��)\JU?WFC?CAIADW@K>CBDJ@?@FCAECDWC?E>bFWCAE?@BXICCJBCVIAK>A>cUICBA>E>K>AdFC?>CAEC?>CBU@?AWE>K>AdFC?>CAEC?>CBWFU@?eS\JU?WFC?CAIADW@K>U>K?f@F>BE?@KIDW?J>@IAJCAVI@gCKCU?WFC?>?KCAD>F>LMZhZM[RijZM[[bFWCAE?@BXICCJBCVIAK>D>F>LMhZM[RLMijZM[cBC=@D>ABWKC?@K>J@CBE?IDEI?@DIQ>K>FWAW>CBkQCJBWVAWlD@K>KCJ>BBfF]>J>BKCU?CKWD@K>hCijCB?CBUCDEWY@FCAEC���#��Q�����#��eSm@?@D>FU?>]@?XICCACJU?WFC?D@B>BfBCK@J@CXIWY@JCADW@bY@F>B@D>ABE?IW?IA@E@]J@D>F>CABCDDW>ACB@AEC?W>?CBSnWBEWAVIW?CF>BJ>BDI@E?>D@B>BXICUICKCAK@?BCCA?CJ@DWHA@JY@J>?KCYC?K@KKCLMNQLMPS M N P NOP LMN LMP LMNOLMP LMZNOP[op iqrstuZN[ iqrstuZP[ iqrstuZNOP[ov iqrstwZN[ iqrstwZP[ iqrstwZNOP[SSS SSS SSS SSSox y iqrstzZP[ y y y y ySSS SSS SSS SSSo{ iqrst|ZN[ y ySSS SSS SSS SSSop iqrstuZN[ } iqrstuZN[ov iqrstwZN[ } iqrstwZN[SSS SSS SSS SSS y } y yox y } ySSS SSS SSS SSSop } iqrstuZP[ iqrstuZP[ov } iqrstwZP[ iqrstwZP[SSS SSS SSS SSS } y y yo{ } y ySSS SSS SSS SSSop } } }ov } } }SSS SSS SSS SSS } } } }ox } } }SSS SSS SSS SSS~>BDI@E?>D@B>BB>AJ>BXICBC?C�Cg@ACAJ@BD>JIFA@BXIWAE@QBC�E@S~@BD>JIFA@BU?CDCKCAECBA>BFICBE?@AIA@BWEI@DWHAF�B>FCA>BVCAC?@JU@?@XICBCK�J>XICBCC�UJWDWE@CACBE@BK>BD>JIFA@BSmICBE>XICJ@BK>BdJEWF@BD>JIFA@BD>WADWKCAbYCF>BXICJ@BGH?FIJ@BLMNOLMPQLMZNOP[B>ACXIWY@JCAECBS ������������������

Page 34: 3 Lenguajes de primer orden.pdf

��� ����������� ����������������������������������������������� ����������������!��������������������������������������"����#$��������%�����&����'()*+(), - .*/012+*/013+444+*/0156+.,/012+,/013+444+,/0156- .*/012+,/0126+.*/013+,/0136+444+.*/015 +,/0156- .*+,6/012+.*+,6/013+444+.*+,6/015- ().*+,67!���������8����������������������������!����9���������!���������������!�+#:��;����������������!�������<().*+,6-()*+(),=%�����!��������������>�?#@#A9�������9����B�C������D�������'E)*FE),-GG.E)*FE),6-G.GE)*+GE),6-G.()G*+()G,6--G.().G*+G,66-G()G.*F,6-E)GG.*F,6-E).*F,6HIJKLMLMNOPQPRPSTUVWXYVZ[\[] _aV[]V[Wbc[aV[E)*+E),dE).*+,6Z WZ[aVefY_[Zb[WTgThWbVieYWeY_jVZYi[_YWWejVe[Zb[Wklc]V_YWV[i[bcYZWkc]YcW[[ZY_jVZY[aVefY_[Zb[XZVZmZeXXVYZbenXYicT�o()*p(),TDo()*pE),T�oE)*p(),T�oE)*pE),Tqrstruvwxuyz{|uyz{}~w|z�zsrsu�uy��ztru�w{��~yr�w{�������v�������sz{zs�����wyus}uutr��w�us}u{��wyz{w}~w}w~|u�u~u��z~tr�|uu{wsz�utr��w�us��w��w~w{�y�����w~{r�zs|~uyz{truu{}wyz{usrs�us�rw�u�zs|z{{�y�z�z{|u�zs{}ws}u�v��vtru}usuyz{rswu{}~r�}r~wus�wtruu�|zy�s�z}�usu|z{u�uyus}z{�vus�ww{��sw���s|u�zs{}ws}u{rsz|uu��z{{u�uxww{��sw|zw�{�y�z�z�vu�z}~zw�{�y�z�z���s}w��w{z����{��s���w�zy�{yztru�����������s}zs�u{��������   ��������2���������3  �����2�����2�������3�����3�  �����2�����3�������2�����3�������2�����3�������2�����3��������   �����2�����3�������2�����3�¡ru�z������� ����������������2�����3�������2�����3���¢£{w|u�ws}u�zy�~z�w~uyz{tru�������¤ �������u{rs��u~{w�yus}u�£��|w��u~z�zs�ztruxuyz{��{}zwtr��ru|u{�r{}���w~u{}w¥�}�yww�~yw���s�¦§§©§ ª«¬­®°±«²³F´+³«³­µ¶²°²³¶¬¬°±«²³®«¬®¶«·°¬¶²µ¹ªªº$��������>�?#@#»�����������>����������������������F�+��������������������>�����������"�����#¼������;D��������������������½>�����%��������������!����D������!�����������������D���#¾����������¿����������������½>���������½����()*+,%9����¿�����!����D��)���������D���������,#$������������������!����D�����������������������������<����D����������=��*���������������������D����,#¾��À���!����D��Á#¾�D����<��!�������������>�?#@#Â=���()*-(Á*/0Ã#$�������%������������������������������!��������'()*+,-(Á*/0Ã+,-(Á.*/0Ã+,6ÄÅÆÇÈÉÊÈËÆÌÊÍÎÆÏÐÑÆÒÉÈ

Page 35: 3 Lenguajes de primer orden.pdf

������������� ������������ ������������������������ !"�#�!� ��� ��$�%�!��&��"!�'#�����#�!��#��#�� �&�#�! "��(��) �#��*+���,"�������� ��$�!��-"�!����!"-��#�!� ��� ��$�%�������!� ��� ��$�.������!"-��#�! "����) �#��/��������! "����) �#��0*123456789:9;9<=>?@/ABCAD.0EFCAGEDHI=JKLMI=N>O>PQ>RN=STL>U>P=V==TBCADTQ=T0EFCAGEDWJ=KQ=T=MI=?X/SBCSD.0EFCAGEDX/SCBCSD.0EFCAGEDDYZLJ[\>]LJ>LP>=TBCSD.0EFCAGED_HI=JKLMI=N>O>PQ>RN=ETL>U>P=V==TBCSDWJK>abP]IN>=J=MIQO>N=TK=>0ECBCSD.FCAGEDD_cLT=JKLWVLTVNIQ]LJMI= ?X/S0ECBCSD.FCAGEDDYZbK=J=MI==TITUPQTVQUQLULdPe>]LJ >R=PJIJKQKIQdLN>O>PQ>RN=AULPN>O>PQ>RN=Efg>MI=ETL>U>P=V==TBCADWgJIhTQV>LVIPP=TVQ>=T0EFCAGED=JNQi>d>j_kTK>NV>JLWK=TdPe>]LJ?X/EBCED.0EFCAGEDX/ECBCED.0EFCAGEDDlLP>W>NV=TKP>PTLJ=TBCED.0EFCAGEDT=V=JQK>]LJ>V=PITV>]RQLd=O>PQ>RN=WUI=JN>O>PQ>RN=EKQ=T=IT>LVIPP=TVQ>NQRP==TBCED_ZLJMI=d>=TKLTV=Jm?X/ECBCED.0EFCAGEDDX/ECBCED.0SFCAGSDDX/E0SCBCED.FCAGSDDn>]RQTULdPe>]LJ >R=PUPLV=dQdLVL]LJQiI=m?X0EC/ABCAD.FCAGEDDX0EC/SBCSD.FCAGEDDX0E/SCBCSD.FCAGEDDopqprp stuvwxyz{|}~vx�ytu|�xy~}wv�p� ������#�$��,"�!���&��"!��/S0ECBCSD.FCAGEDD�0E/SCBCSD.FCAGEDD���!&-� �������,"�$�!�������"�����������,"�$�!������/ABCAD.0EFCAGED*+�����#����� �����������,"�����"���&��"!�'��������,"�/A0E'X0E/A'*������$�����!��-"����������!�,"��������� �����*123456789:9�9<=>T��@/A0EFCAGEDg��@0E/AFCAGED_�VLTJQd=P>]LJN>JQiIQ=TK==JKPIVKIP>m�74���7�@��_��3�����7FCAGEDXA@E_�>]LJ>V>NVIN>P=NO>NLPd=O=Pd>dd=>]R>JabP]IN>J_H>P>=NNLWO>]LJ> >V=PdLJK>RN>Jm���� ���� ��� �� ¡���� �� ¢�¡���� ��£ ¤£ ¤ £ ¤¥ ££ £¤ ¤ ¤ ¤ ¤¥ ££ £¥ ¤ £ ¤¥ ¤ ���� ���� ��� �� ¢���� �� ¡�¢���� ��£ ¤£ ¤ £ £¥ ££ £¤ ¤ ¤ £ £¥ ££ £¥ ¤ £ £¥ ¤¦§© ª«¬­®« °¬«±²«

Page 36: 3 Lenguajes de primer orden.pdf

��� ���������� ����������������������������� !"#�#�#�#�$�%�&'()��*+,#-.&�$�%�&'(��*+/.����0.#$#)�"��(&(,#-&�&01&�$�%�&'(��*+/.���#�0.#$#'(�(�234�%(��&'(&���/.�$#��(�56�%.$#�&(�(&$60��#%�&'��/.�7#$�&'��389:;<=>?@ABC<@D:E:FD:FBC<@G>HB<D:;?FF:@>IC<E?FFJK:D?L:F>@G?;B<L=><;E:FMNFD?B>;AF>�?FC@<OP;LCE<A?@G:@B?FE<FOP;LCE<FQ)QR�SQRQ)�F:@EPI>B<L?@G??TC>U<E?@G?FMVE:L>FL:K:D?L:FD?B>;D?W)WR�SWRW)�MN@I?@?;<EAF>G?@?L:FE<FOP;LCE<F���Q)WR�S���WRQ)�ASE<F:BC;;?@B><FE>=;?FD?E<FU<;><=E?F)?R?@�?FGX@?@OP;LCE<F<GPL>B<FD>FG>@G<FA?@G:@B?F��S��F:@EPI>B<L?@G??TC>U<E?@G?FMYC<@D:?@C@<L>FL<OP;LCE<<GPL>B<G?@I<L:FC@<:BC;;?@B><E>=;?D?E<FU<;><=E?F)?RA?@G:@B?F@:F?;X@?TC>U<E?@G?FMN@E<OP;LCE<QZWR�[�Z�\]�)R��AE<U<;><=E?Z<K<;?B??@E<OP;LCE<<GPL>B<[�Z�AL>?@G;<FTC?E<U<;><=E?RE:9<B??@]�)R�MN@G:@B?FK:D?L:F>@G?;B<L=><;E:FBC<@G>HB<D:;?FM_>@?L=<;I:A?@Q)WR]�)R�AE<FD:FU<;><=E?F<K<;?B?@?@E<OP;LCE<<GPL>B<]�)R�MN@G:@B?F@:F?KC?D?@>@G?;B<L=><;E:FBC<@G>HB<D:;?FMabaca defgheij<B?L:F<B:@G>@C<B>P@C@;?FCL?@B:@E<FD>FG>@G<F?TC>U<E?@B><FTC?9?L:FU>FG:klM�\mnm\�MoM�pmnmp�MqM�\�m\r�n��\m�\rMsM�p�mpr�n��pm�prMtM�\�mpr�n��\m�p��\r�MuM�p�m\r�n��pm�\��pr�MvM�\�n�MwM�p�n�MxMyy�n�MlzM�{mny�\mMllM�|mn��{m�p�m{��MloMy��\m�ny�pymMlqMy��pm�ny�\ymMlsMyQ)�nW)y�MltMyW)�nQ)y�MluMQ)�pmnQ)��pm�F>)@:<K<;?B?E>=;??@mMlvMQ)�\mnQ)��\m�F>)@:<K<;?B?E>=;??@mMlwMW)�pmnW)��pm�F>)@:<K<;?B?E>=;??@mMlxMW)�\mnW)��\m�F>)@:<K<;?B?E>=;??@mMozMQ)�n�F>)@:<K<;?B?E>=;??@�M}~������~����~���~���

Page 37: 3 Lenguajes de primer orden.pdf

���������������� � ������������������������������������������� ����������������������������������!�"#$��!�������������%&�'(�����)������!�"#$��!�������������%&�'(�����*����+��,���-�+,.��/����0��,���-�0,.��1����!���!�����2����!���!����3454 6789:;<789:=>;?�'�@�A�B�'�����('�'��C�D�(��C��� B�C�E���C����(�'FC�A�������A��A���A����(����B(�C�A�%&�'(������������C��%��� ���G�C��������H(����%&�'(���A�����B(�C�������%&�'(����(����H(����D����H(�C��I��(��%��'����������G�C�%��'������'���'��JKLMNOPNQRQPNL����(�����IS��������C(A��A��������SC(����%����C�����&I�����������������T�� �C��C�D�������I�������������C�'�����E��'��C���%��'����'�������U�@��%��'�A�VW���'�XYZY[Y \]_`a]_ bcdadeY?�'��f�'��A�g����A���H(���I��g��H(�(��%&�'(����CF��%��'����'�������U��hijklmlnkopqrsN�QtNJuLMQPNvrswxOsyQs�sRz{stJKLMNtKLMNP|Lsts}NRx�sRwsPNJKLMN~���������������,wKtws��sRQtOQNtzx�ONwKL�Qtx�sLRNPKs}xRzstOxNP��,sRQtNJuLMQPNRxtOQNtzx�ONwKLsRvG�A����D(��%&�'(����C���%��'����'�������U���C�A������(��C�g��A������C�������������A���%&�'(��D@�(��A��A�����&����I����C���g���A���%&�'(������%&�'(��H(���C��I��(��C�g��A������C���%��'����'�������U����i�����q�q�q�NRRx�QxstzsRJuLMQPNRsRz{tstJKLMNtKLMNP|Lsts}N~�v��-�-�.+�-���..v�v���!-�-��!.0�-�..v v���!-�-��!.¡�-�..v¢v�-�.v£v���-�.v¤v���!�¥¦-��!�¥.v§v��¦-��!�¥.v ©ª«ª¬­®°­±²®­³­

Page 38: 3 Lenguajes de primer orden.pdf

��� ����������� ���������������������������������������������������� �!"#$%&'%()*+,'%-+(#.#$%'&'%()*+,'%-+((#/#*%0'%-1(),'2-%(#34567869:48;6<:=5>:75=:?<:?8:>@;?=9A:>BC<:=5>:5D7E6E?@;?=9A:>EF98<:AE67E>:EAA:>F9EE>7G6E6@5?=:H?E6EI:JK:?:E>75B65>:H5C:?E=5>E6A:>EF98<:AE648:>E>79L8:L:>E6>E44856E>:67E?85?E>CF9EME=5>?E45N8L5E6A:>E448;6OJPJQRE>HE48:A=E67EA:>F9E<:6LE>LEA:6S=E?5TUE6:LEA:67EVJW9:6L57E6N:=5>96:@;?=9A:E6@5?=:65?=:AH?E6EI:F9E>E:EF98<:AE67E:96:@;?=9A:XL8?E=5>F9EE>96:@5?=:65?=:AH?E6EI:H:?:XJYZ[\]_ abacad��Xe$%f'%()*g$+0'g-+(#h�����i��i����������������������� �����X#d�����������������i�i���j�k��l����i��"mn#opq$%f'%(r*g$+0'g-+(s����i��t�����i�����ui�v��w����i���j�k��l����i��"xnyp*%qf'%(r*g$+0'g-+(�����v���k�z�������������i���������i��������#{����i�����������!|]}~���������k����l����t��%������t�������������*g$+0'g-+(���v������i������v�����v����v��v��ii���v�*%j�k��l����i��"�n#}��p*%'qf'%(r*g$+0'g-+((#��������w��������i�����i����t��v�g��qf'%(������v�i����qf'%(������v��v��ii���v�*gj�k��l����i��"������i���k��l����i��"n#���p*%*g'qf'%(r$+0'g-+((#�i�����l����t��+�������i���qf'%(���v���������v�i�������l����vv����k��l����i��v�i�����������������v��v��ii���v�$+#[��p*%*g$+'qf'%(r0'g-+((#�����������z�������������k��l���������v������v��k������i������������������ �#|]}~��cs����v�i����*%qf'%(������v��v��ii���v�*g���k����v������i��������l����t��g�������i�v��������t����*%qf'%(j�k��l����i��"�n}�cp*g'*%qf'%(r$+0'g-+((#����������������i��$+j�k��l����i��"�n#��cp*g$+'*%qf'%(r0'g-+((#���������������v�i����0'g-+(������v��v��ii���v�*%j�k��l����i��"�n#[�cp*g$+*%'qf'%(r0'g-+((#�������������������t��������������������� �#|]}~��`������k�����������v��w��i���v�v�������������t�����i��v��i����i�����ui�v��*���v���������������������i�i�����ui�v��#������������l�������i��t�������l����t��g�����l����t��%j�k��l����i��l����������i���n���i�����v������i����w�k����l����t��%�������i������������0'g-+(# ���������������������

Page 39: 3 Lenguajes de primer orden.pdf

���������������� � ������������������������� !"##$"%&#'!()!(*!(+%#,-./+#*!"0(01.(-0,+.#)0(��203%.4#)0,+.#5678���������������������9!":)-.'!;+!'!�,!0().<"00,)#=>"'%)#�����;&!*0'!(*0(&)#?#"0)+%#,-./+#*!"+!""0(&!,@*.0,-0203%.4#)0,+.#AB7�C����������������������D#(-"0(=>"'%)#((!,03%.4#)0,-0(;E0(-F,0,=!"'#&"0,01#�G.,0'<#"$!;)#:)-.'#0('F((0,+.))##)#&#"0+0"0,0))#'0,!(+%#,-./+#*!"0(E'0,!(4#".#<)0(�H*0)#(*!(&".'0"#(;#%,3%0#&#"0,-0'0,-0-.0,0,)#'.('#=!"'#;0('0I!")#&".'0"#;&%0()!(+%#,-./+#*!"0(01.(-0,+.#)0((00,+%0,-"#,'F(#)#.?3%.0"*#3%00,)#(0$%,*#�J,0)(.$%.0,-0#&#"-#*!;40"0'!(0)&!"3%K*00(-#:)-.'##/"'#+.>,�LMCNOPQ�RSR�RG0## !"#TU���������V�����������W>-0(03%00(-#=>"'%)#,!0(%,#(0,-0,+.#&%0()#&".'0"##&#".+.>,*0)#4#".#<)0�0().<"0�X0"0'!(;,!!<(-#,-0;+!'!!<-0,0"%,#=!"'#,!"'#)&"0,01#��)!<-0,0"%,#=!"'#&"0,01#;)#(4#".#<)0(3%0-0,$#%,#!+%""0,+.#).<"0;(0$%."F,(.0,*!).<"0(0,)#=!"'#&"0,01#�Y,-0"+#'<.#'!()#,0$#+.>,E0)+%#,-./+#*!"203%.4#)0,+.#AZ7[����������V����������� !"# #E3%0.,-"!*%+."������0,0)"#*.!*0#++.>,*0���J,&".,+.&.!;0(!,!0(&!(.<)0;&%0()#4#".#<)0�#&#"0+0).<"00,�������9!"-#,-!;(%(-.-%.'!()#4#".#<)0�&!"\0,���������203%.4#)0,+.#5]7�����������V�\�����\��H# !"#(_&!*0'!(.,-"!*%+."������0,0)"#*.!*0#++.>,*0�203%.4#)0,+.#A7������\�������V�����\��H!<-0,0'!(%,#=!"'#,!"'#)&"0,01#�D#!+%""0,+.#).<"0*0�(0 #'#,-0,.*!;'.0,-"#(3%0)#!+%""0,+.#).$#*#(0 #(%(-.-%.*!&!"!-"#4#".#<)02\73%0(.$%00(-#,*!+%#,-./+#*#�LMCNOPQ�RSRaRbU����������������V��\��c�\��Y,-0"+#'<.#'!(,0$#+.>,E+%#,-./+#*!"203%.4#)0,+.#*0+.'!+%#"-#7�[����������d������V�\���c�\�ef0,0'!(# !"#)#+!,I%,+.>,*0*!(=>"'%)#(3%0(0.,.+.#,+!,��G."0,!'<"#'!()#(4#".#<)0(*0=!"'#3%0-0,$#'!()#'.('#0,#'<#(;&!*"0'!("0*%+."%,+%#,-./+#*!"�9!"-#,-!;E&%0(-!3%00,��c�\�,!#&#"0+0)#4#".#<)0�;+#'<.#'!()#\&!"�203%.4#)0,+.#4.$0(.'!(0$%,*#7����������d������V�����c���eH# !"#;&!")#03%.4#)0,+.#*0+.'!(01-#!<-0,0'!(������������������V���c����f#'<.K,#3%_&!*0'!(-!'#"*!(+#'.,!(ghO�ijklm!'!�,!0().<"00,�������V���c����;&!*0'!(.,+)%.")!0,0)"#*.!*0#++.>,*0��203%.4#@)0,+.#An7� opqrqstuvwtxyutz{t

Page 40: 3 Lenguajes de primer orden.pdf

��� ���������� �������������������������������� �����!"#$%&$#%'$($)"*$+,'-./,#������"'".#%),$)"%--,0')"��1(/"+.%$-/##"'-,%)"�"'������"+.,2#"3%/'4/"'$.$+"%"'.%50#*/.%6$6%.789"'$*2#%*$+"'6$'-"+.%:%#,%2."�)"��($#;36%*2,<'($)#=%*$+-%*2,%#��($#�;1>".#"+/.6%)$+"#=%".*,+*$78?'6%.-%+$1"'".#%),$)"%--,0')"��1"+)"-,#1"'������������������ ����)"2"*$++/+6,6/,#6$)%+.%+$-/##"'-,%+.,2#"+)"�($#;8@$+4/")%"'6$'-"+3"4/,:%."'-,%AB7C����;���;��������������� �����@06"+"4/".%+%(%#,-,$'"+)"�"'����>�� ���+$'.,D%)%+1($#6%'6$'$+"#"%.,E%','D/'%+/+6,6/-,0'8F&$#%>%+=($)"*$+,'-./,#��;���)"'6#$)".#%),$)"%--,0')"��3"4/,:%."'-,%GH7I����;�����;������������� �����8J/""+6K"'5$#*%(#"'"L%8MNOPQRST$*$�'$"+.,2#""'��������1($#.%"4/,:%."'-,%)"-,*$+<(6,*%6"'"*$+��S���������������������� �����8U%&$#%1(%#%,'6#$)/-,#�������� ���)"'6#$)".#%),$)"%--,0')"��������'"-"+,6%*$+#"'$*2#%#.%:%#,%2."�8!%#%"+6$'$+:%."*$+)".%"4/,:%."'-,%AB8C�S�����;��;������������� �����8U%&$#%+=($)"*$+,'6#$)/-,#�������� ���"'".#%),$)"%--,0')"�;3"4/,:%."'-,%)"-,*$'$:"V'%78I�S����;���;������������� �����8W,-$*(%#%*$+.%+)$+50#*/.%+4/"'$+&%'+%.,)$1:"*$+4/".%X',-%),5"#"'-,%"+6K"'".$#)"')".$+-/%'6,Y-%)$#"+8?+6$"+%+=($#4/"16%.>-$*$:,*$+"'.%+"--,0'B8Z8H1.%+%(%#,-,$'"+)".%+:%#,%2."+�>;+"(#$)/-"'"'50#*/.%+%60*,-%+),+6,'6%+8[".%+)$+5$#*%+(#"'"L%+4/"'$+&%'+%.,)$1%/'4/"+$'"4/,:%."'6"+1"+(#"5"#,2."4/")%#'$+-$'.%(#,*"#%1(/"+%.&%-"#.%5$#*%)"W\$."*'$+:%%#"+/.6%#/'%50#*/.%*K++"'-,..%8]C_Nabcdcecfg���;��;h���;����h���;��i�����h��������j����T$*"'E%*$++/+6,6/>"')$.%,*(.,-%-,0'3"4/,:%."'-,%)<-,*%78k�����;��;h���;����h���;��������h��������j����l'6"#-%*2,%*$+-/%'6,Y-%)$#>'"D%-,0'3"4/,:%."'-,%Gm78n%-"*$+"+6$)$+:"-"+8o����;���;h���;����h���;��������h��������j����T$'.%+.">"+)"["p$#D%'3"4/,:%."'-,%)"-,*$6"#-"#%78O����;���;h���;�����h���;��������h��������j����q6#%:"E,'6"#-%*2,%*$+-/%'6,Y-%)$#>'"D%-,0'3"4/,:%."'-,%)"-,*$-/%#6%78�����;��;�h���;�����h���;��������h��������j����r%*$+%+"D/,#)$+-%*,'$+%(%#6,#)"%4/=34/"#"%.*"'6"($)#=%'+"#m1(/"+,',-,%.*"'6":%*$+%6#%2%s%#,')"("'),"'6"*"'6".%+)$+(%#6"+)".%50#*/.%78MNOPQR�!/"+6$4/".%:%#,%2.";%(%#"-".,2#""'���h���;�1+/+6,6/,*$+;($#$6#%:%#,%2."4/"'$(/")"+"#�8t$*%*$+1($#"s"*(.$1�3"4/,:%."'-,%AA78uvwxyzx{v|z}~v���v�yx

Page 41: 3 Lenguajes de primer orden.pdf

���������������� � ��������������������������������� ��!�� �"#$%#&�������� ���!!�����'()�*��+����!��,-./0123'#'4%'(56%#7(&8'#56%#74&&8"#%'(%6%#7(&9"#$%#&&&:��� ��!�� �'#56%#74&�������� ���!!�����'()�*��+����!��,;.<��� �=��� ���+����=��#��"#$%#&)�*��+����!��>>./?123'#'4%'(%56%#7(&8'#56%#74&&&8"#'(%6%#7(&9"4$%4&&@�� �=��� ���+����=��#��'#56%#74&)�*��+����!��>A/B � ��� �������+����=��4�<�+���� ����=�C����� ����+����=��(����� ���! �������.����� ��!�� �6%#7(&�������� ���!!�����"4)�*��+����!��,-./D123'#'4'(%56%#7(&8'E56%E74&&8"#'("4%6%#7(&9$%4&&�F������ �'EG����56%#7(&)�*��+����!����!�� � +���./H123'#'4'('E%56%#7(&856%E74&&8"#'("4%6%#7(&9$%4&&@�� �=��� ����+����=������������������������������)�*��+����!���>><>A./I123'#'4'('E%56%#7(&856%E74&&8"J'K"L%6%J7K&9$%L&&M�G ������������� ������� ����*��+����!���,N<,;����� ��!�� �� � �������� ���!!������ �!�����O!�� ���/P123'#'4'('E"J'K"L%56%#7(&856%E74&&8%6%J7K&9$%L&&Q��*�����������������=����������� ���! ��!� �8� ��R�� �G�=���� !���� ������GS,.�! � �����TI123'#'4'('E%56%#7(&856%E74&&8"J'E"L%6%J7E&9$%L&&P123'#'4'(%'E%56%#7(&856%E74&&8"J'E"L%6%J7E&9$%L&&&U123'#'4'("J%'E%56%#7(&856%E74&&8'E"L%6%J7#&9$%L&&&V123'#'4'("J'E%%56%#7(&856%E74&&8"L%6%J7#&9$%L&&&W123'#'4'("J'E"L%%56%#7(&856%E74&&8%6%J7#&9$%L&&&XYZI[\]@�! ���� �� ���� �G�=R�� �*����� T3'#'4%'456%#74&8'#56%#74&&8"#%'(6%#7(&9"#$%#&&_�� ��������������������� ��������F���� ! ���� �!�����O!�� ���/ ����� ���!������ �G�!���� ������*��+����!���>a<>b���R! � �����>c<��>,�*��� ����*��� �����������!��� �!�����O!�� ���/ ��+����������!������ ����������������������� �������!�����/���������������������������G�!�� ��� �����*��+����!��,;���� �������� ��+��� ��*��� G�� �G�!G G�=����������)��+����=��4� ����=����'456%#74&.���������*���������������������� ���+������ !�����)���=�C��������� ��+��� ������ �� ���� !��� ���./01]3'#%'456%#74&8'4'#56%#74&&8%"#'(6%#7(&9"#"#$%#&&QG �������������������������� �� *���!�=�� ���G�!�����������*������������������G�!�� ��� ����+��C�����*��+����!��/?1]3%'#'456%#74&8'4'#56%#74&&8%"#'(6%#7(&9"#$%#&&d���*��+����!���+������ �C�����<+������ !������ ������� �����������������TD1]3%'#'456%#74&8'#'456%#74&&8"#%'(6%#7(&9$%#&&M�G ���� �����*��+����!��� !��+�<��!�� !��+��� �*�������������Tefghgijklmjnokjpqj

Page 42: 3 Lenguajes de primer orden.pdf

��� ���������� ����������������������������������� ����!"#$%&'(%$)*()+(',(&*")"#*()"-.#/(0('1"2"3.,+(*"#4,()5565789:��������������������������� ����;1,*,<(%$)(=$'(*()"3.,+(*"#4,()>?6>@AB���������������������������� �����C0$'D*1,%$E*("3.,+(*"#4,(5FAG�������������������������� �����AC1"#"%$)(3.H$1'(IJ'%.*(E"3.,+(*"#1"(KE"#I$'%(#$'%(*0'"#"L(E0"'$%.4=$%M))"#4,**(3."*($&1"#,/((#1"',$'%"#1"ANOPQRQSTQRURVWXTQYZTRQ[\]_\XROabRQRS\RZRRXQ\cb\RZSRSRTORVPdefghfijklmlnlo"(p.#(IJ'%.*(/".#*"#-.(q"/"0',%"'$'/"#Ar#1$#4")"L,)1".#(IJ'%.*("3.,+s(*"#1"(p63."")1M"#I$'%(#$'%(*0'"#"L(Atuvfhwjx:yz{|TVT}RVTQ\QSTRZRQSTQRURVWXTQYWbR[R}P~ROVb_}PQ]�OVbXPQRab\PXRZSRQPbZP[P[P�abRRQS�ZRZ]TOVPZTOVPXWORZR�Pd|bPZ[T}P�PVTQ_PX_bXP[TbZP[RRXXPQZTQOR]RO\ORVTQPRXXP_TVT*(I$'%(#$'%(*0'"#"L(YP�Z_bPZ[TQROPV�Q_TOOR_ST[R_\O.#(I$'%(#$'%(*0'"#"L(d������ �������������������|TVRZ�PVTQ[R�Z\RZ[TXTabRQ\cZ\�_P]TOVPZTOVPX[R��TXRVd�f�z:x:yz�nlo"(p.#(IJ'%.*("#.#*"#-.(q"/"0',%"'$'/"#Ao"/,4"3."p")1M"#I$'%(#$'%(*/"o�$*"%),")1M"#I$'%(0'"#"L(6"#"**(#$(0('"4"#4.(#1,�4(/$'")"L,)1"#4,(*")A�,4=$/"$1'(I$'%(Ep")1M"#I$'%(#$'%(*/"o�$*"%),")/"*(I$'%(p������ ¡¡¡��¢£/$#/"£").#(IJ'%.*(),#4.(#1,�4(/$'")A¤Bfi¥¦gklmlml§()),-.,"#1")IJ'%.*()")1M#"#I$'%(/"o�$*"%A>A��� ���� ���©��A5A�����©���� �ª��A7A�������«����¬ �ª��A­A����� �����¬¨����FA �ª�®A�� ���«����°����§()),-.,"#1")IJ'%.*()#$")1M#"#I$'%(#$'%(*/"o�$*"%A>A�� ���� ���©�A5A���������¬ ������A7A��©�¬�� ���ª�A ±²³µ¶·²¶¹º²»¼½²¾µ

Page 43: 3 Lenguajes de primer orden.pdf

���������������� � ���������������������������������������������������� ��!����������� �����"���������������#$����%&����������'(���!� ��!���������)����������*��������*����)����������� ������� ��!��������������������%+�*������� ������������'�������������������*��(�����������������������*�'������������*�,'��%-����*���������*��(��������������.!����������������*����������������������� �����"���������������#$����/������� �����*��(��������������������� �������������*�'�����/�����0�����.%&�����������!�1 ��2����*��*������������������3������������������2�/ ��!��*��������������*�����4*�������3�����*�����%-�����*����)���������/����*���!����'��*�����4*����3��,���*��������������"������������������ �������������*�����4*����*��������������%-��"���������� �����������/����56789:;<��0�'�����*������������*�����4*�����3�����*��� �����*����=���!����*�����������)>�*�����4*�������!�����%-����'������0�'�����'�������)����������� ���������1*�������������?�����*��(�������������� ��������(�@%789:A<��0�'��������*���*�/�����������)������>������!����'���*�����4*�������!����������/ �����*�������!����'������������%B����*�����'�����*���������������!����'����/���0�'������)���������������*�������������������*��(�������������� ��������(�%C:D8E-����������������"�������4��*���FG�*��������� ������0�'������*����������,��0�����*�����������*����0�'���������*���G,�����%-����*�����������0����������������*�����*���� ��2����2�*2�� �0�������'��*�������0���������%&���2��������������#$����������������?������������3�@�HIJIKILMINOPHQIRSMTHIJIPUMVSPRHMIOWXPRSPVPVQVSMSQYPZ[LQRV\XN[O[JP]QRHMR_WILM[J[RJP_PVPORaXPL[JPHQIRSMTHIJ[LPVQRMKPLVIOPVbQPOIZLPHPJPRcdefghi:jklkmkncopqrstuspvwxspyrvvcz[X[POHQIRSMTHIJ[LPUMVSPRHMIOR[KIZLPHPJMJ[Z[LRMR{QR[QRMKPLVIOPVSIX[VPRPOzIV[nYOIKILMINOPH[LLPVZ[RJMPRSPpVPVQVSMSQYPZ[LQRV\XN[O[JPH[RVSIRSPbQPR[IZILP|HIPROI]LXQOIZ[LP}PXZO[~�PRS[RHPVOI][LXIJP��[OPXbQPJIqrstus~vwxs~yrvv�cqpo�sxspyrv�txspy�vv�z[X[POHQIRSMTHIJ[LPUMVSPRHMIOKIZLPHPJMJ[Z[LQR[QRMKPLVIOPVSIX[VPRPOzIV[�POP{MX[VQRV\XN[O[JP]QRHMRbQPR[IZILP|HIZ[LP}PXZO[�YVQVSMSQMX[VOIKILMINOP�Z[LPOS�LXMR[�spvZ[LVPLpOIKILMINOPbQPIH[XZI�IIOHQIRSMTHIJ[LQRMKPLVIObQPZLPHPJPIOPUMVSPRHMIObQPKIX[VIPOMXMRILc�I][LXIJP��[OPXbQPJI�qpsxspyrv�txspy�spvvv�cqporo�xspyry�v��LMXPL[POMXMRIX[VPOHQIRSMTHIJ[LbQPOOPKIOIKILMINOPrH[X[O[ZLPHPJPQR[QRMKPLVIOH[ROIKILMINOPpVQVSMSQMX[VrZ[LQRI]QRHMRJPpZ[LP}PXZO[�spvZQPVS[bQPPOV\XN[O[�R[IZILPHPc�QPJIPRS[RHPVqpo�xspy�spvy�vYI�[LIZL[HPJPX[VIPOMXMRILPOHQIRSMTHIJ[LbQPIH[XZI�II�H[X[POV\XN[O[JP]QRHMR�YIIZILPHPS[XIX[VZ[LP}PXZO[�VQVSMSQMX[VPRS[RHPV�Z[L�spvY[NSPRPX[V qpxspy�spvy�spvv������������������

Page 44: 3 Lenguajes de primer orden.pdf

��� ���������� �������������������������������������� ! "#$%$& !"#'( &)$*' +,!-(" ',%. / �"#"0$%,1(&12%3,#,+"4(&'$5&-("&, . !"6' 7.,!"8"%.#,9:1(1)$)($%,1�.,!9���7-("+ �����������9���������9���������� ;,! �)$"&"-("1"!1(1)$)(2+ .,!,)!,)<!%$&,',&(&12%3,#,+"4(&'$5&+$4"!"&)"7+$0 %,1=7"&"#-("$&)"!>$"&"&# 1+,1> !$ 3#"1'( &)$*' + 1(&$>"!1 #%"&)"-(".!"'"+"& �7�:�7 12&,1-("+ ? ���������9����=���������9����������@���������������������������A&"1)"' 1,�1"1(1)$)(:".,!(&12%3,#,+"4(&'$5&3$& !$,-("+"."&+"+"�"�7+$0 %,19�����:.,!1(.("1),"&),+ 1# 1 . !$'$,&"1?�����������9�������������9��������BCDEFGHIJKLEDMNOPQRSTUQVWXYSZWUVW[\QR]TU[ZQ\SW_\aQbQ[\c[WdSTQe[SVWZZW\f[QgW[hZiQUSWZQThja[ZSVWhWTU\QVSdQTQ\SUeTQTZQOkOPQRSTUQVWXYSZWUd[WVWaQZa[ZQTWdQTQa[QZc[WTR]TU[ZQb\SW \WaWQTSc[W WhTQhWVW[\Q W\hW\aQOXZQR]TU[ZQ\SWhlW\RSTUQdTW\WmQVWeWUS hTQ\RSTUQTZQdTWnQUW\hWW\[\QR]TU[ZQW\RSTUQdTW\WmQOoOp\QR]TU[ZQq [RSTUQVWXYSZWU\SS\\WaWQTQUW\hWZ]faQUW\hWWc[nQZW\hWrVWsWasSbZS\STUQZWc[W\SZSWQ\tOX\WUeQTfShW\WUSWZ f[W\hWTW[ZhQVSuvEKFEwHxyzy{y|" }(&',&8(&),+"45!%(# 17:1" }~"#',&8(&),-("!"1(#) +"1(1)$)($!' + 45!%(# +"}.,!1(4,!% +"|�,#"%�A&),&'"1}"1$&1 )$14 '$3#"1$7:15#,127}~"1$&1 )$14 '$3#"PSc[W f[WbsQhQc[W W\aQWZQdQTQhQVSVW�,!% �# (1(# !W[\Qg[h�aQa]\r\S[\QVW�UShTQa]\tVWZhWSTWUQc[WQaQeQUSVWVQTO� aS\nW\W\hWZWWTZSbQ[\c[W\S\WaWQTSO�QTQWhSbnQUSQQ\QZiQTQZf[\SWgWUdZSO��Ew��Kxyzy�y�,%"&6 %,1',&(& 45!%(# 1"&'$## ��,!"8"%.#,7�����������$'; 45!%(# "11 )$14 '$3#"�� ! ',%.!,3 !#,7> %,1 + !(& "1)!(')(! "&# -("1"$&)"!.!")"',%,'$"!) ��KwJLJK�����FE�JIH�KD��������������# ! %"&)"7# 45!%(# "1>�#$+ "&# "1)!(')(! + + 7.("1"�$1)"(&&�%"!,"&)"!,�"#'"!,�-(" #%(#)$.#$' !#,.,!'( #-($"!"&)"!,1 #"���,&1$+"! %,1 ;,! # 4,!% +"|�,#"&+"# 45!%(# + + 7-("1"!2 ��������� ! ',%.!,3 !-(""11 )$14 '$3#""1) 45!%(# 73 1) ',&1$+"! !# "1)!(')(! -(";"%,1),% +,"&# 45!%(# &)"!$,!7."!, ;,! +"3"%,1) %3$<& 1$0& !(&> #,! # ',&1) &)"���" 1$0& %,1"#> #,!��-(""1"#> #,!-("#"+�3 %,1 �"&# .!$%"! 45!%(# 7:-("; '2 '$"!) # 45!%(# ����������A1+"'$!7',&1$+"! %,1# "1)!(')(! �KwJLJK�����KLD�HL�ED�����FE�JIH�KD�������������� ¡¢£¤¢¥ ¦¤§  ©ª« ¬£¢

Page 45: 3 Lenguajes de primer orden.pdf

���������������� � ��������������������� !�"#��$�����%��&%���'(�)�&)*#��$&*$%����$���%��&%���+��)�&���%"���&",������������-.����.���$*�#��$���%��&%����$��+������%"���&",�����*���#�/0*���'(�&���*+�������������-.����.���1��������$*�*$�+�" ���$%��'2��%�34*��5��4�*3&*$�"#��������%��&%���6789:97;<='>7:?@A:@B?�<C'DEBF9GAF7?��.���H.I�<J'($��%�&��*3K�-.����.����<C�"�$%���+��K����������<J'L��*�%*��#*M<-.����.���31�4��%"�#�+��M����%"���&",��N4���)��*��$&*$%��#*�$���%��&%���+����)�&�&"��%�O)��*� "�%*+�����*���#�/0*�����%��,"P$��%"���&",��N�$&*$%��$#*�$���%��&%���3����&"*$�#�&*$��4�"����3+����)�&�&"��%�O'Q��*�� ��+���"4��%"�*�#��$���%��&%���+��)�&�&"��%����������N���*���#�/0*���#�MO4*#��*�*,%�$���$���%��&%���+��)�&�&"��%��M'R*$�"#����*�4*��5��4�*����%��&%���#�#�4*�6789:97;<S'>7:?@A:@B?�<J'DEBF9GAF7?��.���H.T�'U, "���$%�34�����%���%��&%�����%"�$�+��K����������<C'R*$�"#����*��)*������%��&%���&*$���"��*�$" ���*1���"�����"V$�&"�$#��4��#"&�#*�N$*$�&��"%��*���"V$��&*$�%�$%��O3��#�&"�36789:97;<S'DEBF9GAF7?��.���H.T�'($%*$&����%"�$�+��K�M�<C34����W"�%��$ ��*�#��� ��"�,��.N&*$&��%���$%�.<JO4�����+����&"��%�����.���'X*�%�$%*3#�����%"���&","�"#�##���������)��*�#�#�&"#*����%"���&","�"#�##�-.����.���'YZB8[\7]_`Q��*�� ���)*���$&��*�$��+����&��$%"a&�#*��W"�%�$&"��$*���$&��$%���$4�"�����V��'X*��5��4�*3&*$�"#����*����������b<�.-���.���c������������%"���&",��34����� !�"#��$���"V�"�$%���%��&%���6789:97;<='DEBF9GAF7?��.���H.d�<e'($��%�&��*3���W"�%�$&"�#��$ ��*�#��� ��"�,���+��)�V�&"��%������������%!�"V�#*�� ��*�#�.'X*�%�$%*3��%� ��*�#�����!��$&"�$N#�4�$#��!O#�� ��*�+��%*���� ��"�,��.'L�,�!+�����%"%�"��*�$%*$&��4*��$���$&"�$+��#�4�$#�#�.'c��*���#�/0*���#�b���.��.�f�.��'($$���%�*�5��4�*3��%"�$�+���� ��*�#��+��)�&�&"��%*��4��#"&�#*��.������<eg.'X*�%�$%*3���"V�"�$%���%��&%���6789:97;<='hi:G97:B?f�.�<eg.'DEBF9GAF7?��.���H.d�<e'���$�*#��*4�������������.��.�f�.��'(�#�&"�3#��$�*#��*4���b)��*�*,%�$"#*�$�*#��*4������*���#�/0*���'j�"V���+���$%��3���!&"� ��+��#��$�*#��*#��.��.�f�.��4*#��*�*,%�$���$�*#��*4����.-���.���' klmnmopqrsptuqpvwp

Page 46: 3 Lenguajes de primer orden.pdf

��� ���������� ������������������������� !�"#$%&���'(")*(+(�!$�(*($,)(&*%("'&(*(*'�"&� -."�)$� /0(�12345676589:;<6;=588>45:;<65=;8>:5:;?<65=;8@A)( %�,)($�!"&�("�-."�)$�*�( %B(*-�"��!"(*(C�D$�!� ��� �E&FG�-�"��F�*.*&F�DH*� ,)(E�(*%�*F( / 1I2345:;676589<6;=588>45:;<65=;8>:5:;?<65=;8@J %(F�*+)*%�( �%& -�F&K$(LM� %�F�* &E("�"$�( %")F%)"�N &O)&(*%(/P��QRQ�S2TLUV�WQXYW�Z7658[5( !�"\<65=;8[]52;L�!"&�("�-."�)$�E(1*� E&F(,)(!�"�F)�$,)&("*#�("�(*%("�!�"5D(C& %()**#�("�(*%("�;%�$,)(];25LJ E(F&"D,)(%�E�*#�("�!�"( �#$%&!$�E(_LJ � �K(�� ,)(( F&("%�L� (O)*E�E&F(,)(!�"�F)�$,)&("*#�("�(*%("�5(C& %()**#�("�;,)(( &O)�$�]5L $�"��(*%(( %��K&a*F&("%�L�%("F("�DE&F(,)((C& %(*5(;,)( �*E& %&*%� Lb��K&a*( F&("%�LcG�"�F�$F)$��� $�-�"��E(0d�$(*E(F�E�)*�E($� -."�)$� LA�"�$�!"&�("�DF���$�'�"&�K$(;D,)(( $�F)�*%&eF�E�(C& %(*F&�$�(*%(( %B!"(F(E&E�!�")*�'�"&�K$(F)�*%&eF�E�)*&'(" �$�(*%(D$� ) %&%)&�� !�")*�-)*F&.*��*�"&�Lf� ,)(E�(*%�*F( 45676589<6g658=588A�"�$� (O)*E�!"�F(E(�� E(&O)�$-�"��D!("�*�!�E(�� )%&$&h�"�G�"�($�& �� i�K�$�E(-)*F&.*,)((*$�!"&�("�-."�)$�L0) %&%)&�� (*%�*F( ;!�"j658Lk)(E�(*%�*F( 45<65=j6588J*$�%("F("�-."�)$�D ) %&%)&�� F�E�)*�E($� '�"&�K$( !�"F�* %�*%( lE& %&*%� mLf� ,)(E�(*%�*F( ($F�*+)*%�1n2345676589<6g658=588>45<65=j6588>?<6o=p8@J$G(FG�E(,)(($F�*+)*%�1l�1Im-)("� �%&-�F&K$((*$�( %")F%)"�E�E�D (%"�E)F(�G�"�(*,)(1n( �%& -�F&K$((*$� &O)&(*%(( %")F%)"�LP��QRQ�S2TLq�RZrYRr�Zo2]\p2sLtuRXQ�R�Zg6582vwxyzlE�*E(v658E(*�%�$�!�"%((*%("�E(5m\j6582]5LUV�WQXYW�Z7658[5( !�"\<65=;8[]52;Lf.%( (,)( &G)K&a (�� (�!$(�E�($�& �� i�K�$�E(-)*F&.*(*$�!"&�("�H(*$� (O)*E�-."�)$�D*�G�K"i��� !�E&E�(*F�*%"�")*�( %")F%)"�K� �E�(*N,)(G&F&("�F&("%� $� -."�)$� 45676589<6g658=588D45<65=g6588H?<6o=p8@LJ %�*� &O*&eF�,)(($F�*+)*%�345676589<6g658=588>45<65=g6588>?<6o=p8@*� (� �%& -�F&K$(D &*�,)($� �%& -�F&K&$&E�EE(( %(F�*+)*%�*�%&(*(*�E�,)('("F�*$�,)($(�F)""��$F�*+)*%�1L{(G(FG�D( %(#$%&��F�*+)*%�( �%& -�F&K$(L� &O)&(*%(( %")F%)"�( )*��)( %"�E(($$�LP��QRQ�S2TLq�RZrYRr�Zo2]\p2sLtuRXQ�R�Zg65825LUV�WQXYW�Z7658[5( !�"\<65=;8[52;L��������������J$ &O)&(*%(F�*+)*%�123:5|658=:5?|658@( F$�"��(*%( �%& -�F&K$(L�-�"��E(0d�$(�E($�!"&�("�-."�)$�( |6o8Lc$�G�"�E(F�$F)$�"$�-�"��E(0d�$(�E($� (O)*E�-."�)$�D$�'�"&�K$(5G�H,)( ) %&%)&"$�!�")* i�K�$�E(F�* %�*%(Lf�!�E(�� ) �"($ i�K�$�oD!)( H� (G�) �E�l�)*,)(G�H� &E�(*�%"�-."�)$�mLA�"%�*%�D )-�"��E(0d�$(�!�E"i� ("?|6p8LJ$F�*+)*%�3|6o8=?|6p8@( �%& -�F&K$(L}~������~����~���~���

Page 47: 3 Lenguajes de primer orden.pdf

���������������� � ������������������������������������������ �!���"�����#$%&'(����!)�!��*������!�����+�������,���-�.$%&'/#$%&'0*�����!������������12�����!��!���*����������������������������!��!)�!�����"������(!�+�������!���������!�-�����3����!���!�������!��"!4*��5�����5�������!�����"�����1678767 9:;<=>?=@A@?=;BCDEFGHHFIDJKLDHDMKNODJFPQKHFORKJFOKLJFSCTNHKUVFLFWKCKWFWKOKMKNODWHDVLVHDNXYHTIVDHUVFFCHDHZITWDRNKRKLTWTKCDH[CFWFLT\DOKLDHIVCKLWKCWFR\KLRNFETKLXBC�������FLVCDMZNOVHDD\ZOTWDKFHCFIDJKJFVCDMZNOVHDD\ZOTWDXPT]FLVCHT\FNDH[JFCK\DNFOKLWKOK] DHHT\FNDHUVFFLFUVTEDHFC\FD#]X_abcdefghgijg��!�������������� ���!����"������kl1$%&'1m1#n%o/&'1p1#q%o/r%o/&'/s'1t1$%u%o''1v1n%r%s/u%w''/o'1x�����+����!������������������������!kl1#$%&'1m1n%o/&'1p1q%o/r%o/&'/s'1t1#$%u%o''1v1#n%r%s/u%w''/o'1yH�������!�z�����JFVCDMZNOVHDLTCWVDC\TSWDJKNFLFLHDMZNOVHDUVFNFLVH\DJFWVDC\TSWDNVCTEFNLDHOFC\F\KJDLHDLEDNTD{HFLUVFDRDNFWFCFCHDMZNOVHDX_abcdefghgifgl1|��������!�z����������"�����$%&'�����������1m1|��������!�z�������#q%o/r%o/&'/s'��}o}s#q%o/r%o/&'/s'1p1|��������!�z�������$%&'~n%o/r%s/w''~#q%o/r%o/&'/s'��}o}s%$%&'~n%o/s/w'~#q%o/u%o/&'/s''1BCD��������FLFHWTFNNFVCTEFNLDHJFVCDJTL�VCWTZCJFHT\FNDHFLXyCHDJFSCTWTZCJFWH�VLVHDLFTCWHV�FFHWDLKJF�������!�z��������!�������X�DO{T�CLFTCWHV�FFHWDLKJFVCD���5�!��"!���������������XyL\DWH�VLVHDLFJFCKOTCDWH�VLVHDEDW�D[�HDJFCK\DNFOKLWKOK�X�DNDWVDHUVTFNTC\FNRNF\DWTZC��%�/�'LF\TFCFUVF�%�'���FLJFWTN[HDWH�VLVHDEDW�DFLTCLD\TLMDWT{HF�X_abcdefghgi�g��!�)��+��������������kl1$%&'1m1}o}s%$%&'~n%r%o/s'/w'~#q%o/u%&'/s''1������������������

Page 48: 3 Lenguajes de primer orden.pdf

��� ���������� �������������������������������������������� �����!�������������"#$%&'()*$+,-./,0),,+12,#34567897:;:975+.,+12,+/'.1$/<(</<#=)#/.&#-,/*2)+)*$+>?,.#/*)@,,*/$+<-,84AB:A8CDAEF:A789G:;:97>H+-,/.'I)#$/*2)+)*$,+)#$%&'()*$0),,+12,#%<'($/*$)+)*$'>J<+,.#/*)@,,*/$+<-,84AB:A8CDAEF8F5489G:;:97;>KLMNOPQRSTSUVSW4A3D56:97;FA34567897:;:975XY������������ ��������!�����Z��������������[������� �����!���Z��� �������!�������������!�����!������\������]������]���^_Mabcdefghi>j$-$)#$%&'()*$kI**$($',(<+34567897:;:975EFk$)#$%&'()*$0),+,$,0).l$*,#1,$*$%<'($-,?m<*,(-,k@0),,+1n,#%<'($/*$)+)*$'>o>p),+1<0),*$%<'($-,?m<*,(-,)#$%&'()*$#<,+q#./$I*$%<'($/*$)+)*$'1$(r</<*<,+>H+-,/.'I)#$%&'()*$r),-,1,#,'l$'.$+%<'($+/*$)+)*$',+>s>J<1<-$%&'()*$1.,#,%<'($/*$)+)*$'I+&*<+.,++,#1,#/.$I@$0),,#*$%<'($/*$)+)*$'1<-$+*$+</)'',#/.$+-,*$+l$'.$t*,++<#*.u$-$+>v>p$'$w$**$'*$%<'($/*$)+)*$'-,)#$+,#1,#/.$r'</,-,(<+/<(<+.u),xy$*/)*$(<+*$%<'($#<'($*-,?m<*,(>?<t',*$+)t%&'()*$0),',+)*1$-,0).1$'*<+/)$#1.z/$-<',+I$r*./$(<+*$+,0).l{$*,#/.$+i{isr$'$1'$#+%<'($'*$,#)#$/<#=)#/.&#-,-.+@)#/.&#-,*.1,'$*,+>H+1,r'</,+<,++.(.*$'$*0),+,u).(<+,#*$*&u./$r'<r<+./.<#$*>|$%&'()*$1,#-'2,#1<#/,+*$%<'($ ��}��~��������}Z�~Z���Z���-<#-,��,+)#$-.+@)#/.&#-,*.1,'$*,+>"1.*.�$#-<*$,0).l$*,#/.$ovI1'$#+%<'($(<+*$%&'()*$,#��}��~�������}Z��}��~�������~Z���Z��}��~���������j,/$-$)#$-,*$++)t%&'()*$+��}��~��������,*.(.#$(<+*<+/)$#1.z/$-<',+/<'{',+r<#-.,#1,+$l$'.$t*,+0),#<$r$',/,#,#���,0).l$*,#/.$o��KLMNOPQRSTSUTSY�������������� �!����;�73D56:97�7F;�GFA34567EFW�49F6��4;�:FE764;84A���������� �!���:FF;F�:C�79FA�F7����������� �!���45�7A�4�9734567897:;:975EF������������� �!��F;�������������� �!���[������������ �����Z����Z��������57�7B764;84A������ �����Z����Z�������757;C6�9C�87597F;85C�:57�4EF64;49�CE75A4;EF94;��56CA4;��4�:F�FAF64;F;FA�4A8F;��� Z�Z����:FF;F�:C�79FA�F�F�:C�79FA8C7��B:A�484A97��7��� �Z�����Z��������� ¡¢ £�¤¢¥¦�§©�ª¡ 

Page 49: 3 Lenguajes de primer orden.pdf

���������������� � ����������������������������������� ! "#$#!%&#'#!("%)*#"%)$#!%%% + ! "##$#!%&'#!("%%)#$#!%&*#"%%)#$#!%&$#!%%%+ ! "##$#!%&'#!("%%)#$#!%&*#"%%)#$#!%%%+ ! "#$#!%&'#!("%%) ! "#$#!%&*#"%%) ! "$#!%+ ! "#$#!%&'#!("%%) ! "#$#!%&*#"%%) !$#!%,�������������-.�-���-/�������0�������12134542678429366:1213454267;4366<125426=>=?���@���AB12134CD4;429D67;439D66ECF842939F66=�����G��A���-���-��-���=���������������-���������������=A B 12134CD4;429D67;439D66ECF842939F66H 12134ICD4;429D67;439D667CF842939F66H 121341DI4;429D67;439D667CF842939F66H 1213CF41DI4;429D67;439D667842939F66H 1213CF1D4I4;429D67;439D667842939F66 JKL12131D4I4;429D67;439D667842939M4293666 JK?H 12131D44I;429D6NI;439D667842939M4293666H 12131D44I;429D67842939M4293666N4I;439D67842939M42936666H 12131D4I;429D67842939M4293666N12131D4I;439D67842939M4293666 JKOK�����������������/��������-��������-�P���������/�?Q����-�@�������������R�����H/��G������-���=STUVWXYZ[\]_ abcdefbfgdh bidbjbedcfhfbefbikahliamimagdhmandogacfpqdmfg lmandogaimahmaorhasfgdhtfedcahmahuaokasmfhtfkbefoukfbfbfhevbiabekwiacahbkufohamgfbefxydoeamgdekudrhfmfbdgkekohfmdhiabekwiacdofhxzh{ckofgdhtfmandogaimahmaocf124;429M4266E 84|66fhI;429M4266784|6x}tfmandogaimahmaocf12134CD4;429D67;439D66ECF842939F66ekfbfcdhimvhmahtfhdbI;429D67842939M429366lI;439D67842939M429366x~bauf�tfla�fgdhukhedidgdiamimaomandogaimahmaocf bahfbefbikarefbfgdhfmhk�kfbefefdofga��V�WV�Y������?���B���9��9���9����-��-.�-��/���-��-����=?���-�����G�������������������������������N���N���N����=?���������-.�-�������/������/�������0������G���������-�-����������������/���/��-�/������������/��:��/����:���B����9���9���9����9���9���9���9����9���9���9���9���9�������-��-�������-��������������:<������:������-������������=��V�� �����¡¢�?���-�����G����-���������������A�B124;426NI8426EC34542936N£43666=A�BC31244543926E¤4266N¤436N;436=A¥BC24¤426N484267£42666=,G�������������A�9A��¦A¥=���������-��������������������-����/������-��-.�-��/���0���������-��-������������=L�������:������-�����������G�����-���������G������-���������G������-.�-���A�9A�9IA¥����-������������=O����������-���������������/���/��-�/������������=§©ª©«¬­®¬°±­¬²³¬

Page 50: 3 Lenguajes de primer orden.pdf

��� ���������� ����������������������� � ��� ��!"#$��!%&'�(��)'!"*�'!!!+ ���#� ��!"#$��!!,&'�(��)'!"*�'!!!+ ����# ��!,$��!!,&'�(��)'!"*�'!!!+ ��&'��# ��!,$��!!,�(��)'!"*�'!!! -���������./����0�����# ��!,$��!!,�(��)1��!!"*�1��!!!! -���������.2�34�.��+ ����# ��!,$��!,(��)1��!!!"�# ��!,$��!,*�1��!!!!+ ���# ��!,$��!,(��)1��!!!"���# ��!,$��!,*�1��!!! -����5.�6�6.�������7��7 � &'����(�')�!%8��!!"8�'!" �'!! -���������./����0�����(�9)�!%8��!!"8�9!" �9!! -���������.2�34�.��+ ����#(�9)�!,8��!!"8�9!" �9!!+ ���#(�9)�!,8��!!"8�9!" �9! -����5.�6�6.��:/���#�;��; � #&��8��!"�$��!,*��!!!+ ��#�8��!"�$��!,*��!!! -���������./����0�<2�34�.��+ ���#8��!,#�$��!,*��!!!+ ���#8��!,�#$��!"#*��!!!+ ����#8��!,#$��!!"�#8��!,#*��!!!+ ���#8��!,#$��!!"���#8��!,#*��!! -����5.�6�6.��:�./��=.������>���/��=���?�.�?@6?����5��A6���2�5.B6�6.��C�D# ��!,$��!,(��)1��!!E#(�9)�!,8��!E8�9!E �9!# ��!,$��!,*�1��!!E #8��!,#$��!E #8��!,#*��!F�����?����?�G�5?=.�H����>���I.�2�A��������JHKB��2�.����L������5M�����/��2�������/��@6���HN������5����.��5�?=?��.5��A6���2�5.B6�6.����>������5�?��.��56���?O5�2����HP������?@�?O5�Q6������R�HS�����=����I��2��.��L��?�=.�����B�56���?O5�2��6�?L����.�����HTUVWUXYZVZ[\]YX WUX X_[]]aXbZV XV_XVbc]de]\Z ]eX[bf\Zg[ZbXhX[XVXYb]ZhXWUX]YiUV]hXY]jf[\UY]hXY]WUXg][_c\Z_XVi]Ve][c]YXYc[Xkl]jZ[\]hXm]bX[YZX\Un c\cY][dnXZX_o ]]hZXVYZhZ ciUcXV_XYX\]pqrstuvwvxv3��C�yz�)z7){{{)z|}6�5��A6���2�GM��6.��I<z�z�"z7{{{z|HP����5��C�����?�G�5?=.��?I<�M.��?Iz�����?�G�5?=.�H~_ZXbY][ZdgUX ]X\ZWUXXYWUXXYbZVaUV_ZC X]]_cj]bcYXciVc�b]WUXm]nUV]cV_X[g[X_]bcfV����)�!g][]Y]WUXXcV_X[g[X_]VbZ\ZbcX[_]_Zh]Y]jf[\UY]hXYbZVaUV_ZdXhXbc[d��z�!���z7!�{{{���z|!��k�X[ZXZXX�]b_]\XV_XYZ\c\ZWUXhXbc[WUXY]jf[\UY]zX ]_cj]bcYX�gUXg][]X]cV_X[g[X_]bcfV X_XVh[�]WUX��z!���k�_[]jZ[\]hXXVUVbc][XYYX\]XhcbcXVhZCXcV]_cj]bcYXcdn fYZcdzXUV]bZV_[]hcbbcfVkqrstuvwv�v3���6��GM��6.���6�.��@6�A�2�/�?�����2��I<����6��L��?�=.�Q6��/���5�.?=����.�GM��6.��HP����5�����5�����2?55?M��?I<�M.��?I&����6��5�����2?55?M�H�]\ c�VX_XYX\]XbY][Zk~YWUX� X]UV]bZV_[]hcbbcfV X_[]hUbXXVWUXdh]h]UV]X_[Ub_U[]dg][]bU]YWUcX[e]YZ[WUXYXhX\Z ]Y]e][c]YX�d���!dX_cXVXWUX����!��k�X[ZX_Z ciVc�b]WUX���&��!��k�Z[_]V_Zd_XVX\ZWUXdh]h]UV]X_[Ub_U[]dY]jf[\UY]&�� XcV_X[g[X_]bZ\Zj]Y]k���������������������

Page 51: 3 Lenguajes de primer orden.pdf

���������������� � ��������������������� !�"!###!�$%&�'()*+�,)-.'��/0)*1'*2)3�4�56�7/�-.'�26�*�*�/+'*�)0'55�*06�/675��*/�-895,'/�-3���-�: !:"!###!:;%&<*2)*0�-��-6*-�26-8�067/�-6=>-9/)-6=/�895,'/�?: ?:"###?:$@� A�"A###A�$B�-'*�0)*C25�360069*&DEF��G�HIJKLMNOPQRSTN?: ?:"###?:$@� A�"A###A�$BUVSWNVUWXUWYZN[\]QXNWXNUVXNOPQRSTNTU]_UR VNYUQVSOQRNYTNSVSTNQ\QU_SYZQUT]QaTURNNUVXS_ZNQVZSWYWbSWX_UYTcSVSTNVUVVNXZVONYZaTU ZWVNXZVONYZaTUdeZWURaNQf[XQNaNbNQYWTNOPQRSTN?: ?:"###?:$@� A�"A###A�$B]SU_UVUQaNVXNWXUUWfQQVdgWXWYUV]_UR VNYXSNQYR VZfSUheS]WfNR ViSUXUWUR VSWYWbSWX_UOPQRSTNV_USWTUWfSNbU_U]QZRUQQ_UW���� !�"!###!�$%_UTiSUiSUQUR VVNaUQVZUVVNXZVONYZaTU ZWVNXZVONYZaTUdeS]WfNR ViSUUWYWXQNR VSWN YSQQUWYZNTZaQU_UTVjRaT_UkNQZNaTU:dgWlXWYUVhgTUfZR VSWVjRaT _UYWVXNWXUiSUW N]NQUmYNUWWZWfSWNOPQRSTN_UTYWbSWX�deSVXZXSZR VX_NVTNVN]NQZYZWUVTZaQUV_UTVjRaT:UWX_NVTNVOPQRSTNV_U�]QUVXUVjRaTiSU UR VUTUfZ_ nW VU]SU_USXZTZmNQSWVjRaTUWSWNOPQRSTN\ XQVjRaTUW XQNOPQRSTNodpU]UXZR VUVXqTXZR RZUWXQNV N\NNTfSWNOPQRSTNiSUW VUNSWNVUWXUWYZNdrWUVX[UTYWbSWX�VU NXQNWVOQRN_ UW XQ YWbSWX_UOPQRSTNVUWUTiSUX_NVTNVOPQRSTNVVWVUWXUWYZNV[\iSUUVZWVNXZVONYZaTUVZ[\VPTVZ[TUV�dst��uv�����wx�������y:@z@:B{|@:!}BB!|@~!�@~BB{?}z@�@}!:BB!y:?�@z@:B{�@:!}!�BB%&�'�5�,)-�*0)*25�5'*0)*1'*2)3�-�*2�*06�-��3�/.'�-�(�,)-.'��-6*-�26-8�067/�-6=>-9/)-6=/)�-�&�)-�1�,)->4�,)-.'�2�*�,)-'*��(�56069*/675�3�/�4�56�7/�}�*/�(56,�5�895,'/�>�*/�2�50�5�=>'*��(�56069*/675�3�:�*/�-�+'*3�&<*2)*0�-��,)-3��/�+653)--�,7)/)-3�0)*-2�*2�=.'�*)('�3�-�5~�>�.'�6*2�546�*��*/�(56,�5�895,'/��&</�+6,)-�*2)*0�-/)--�,7)/)-�>�&�'-262'6,)-/�-)0'55�*06�-/675�-3�:()5�>/�-)0'55�*06�-/675�-3�}()5�&��-)0'55�*06�-/6+�3�-/�-3�1�,)-0),)�-2�*&<*2)*0�-=�/0)*1'*2)��-�5�������y:@z@:B{|@:!�BB!|@~!�@~BB{?}z@�@}!�BB!y:?�@z@:B{�@:!�!�BB%�<-2�0)*1'*2)�-2�8)5,�3)�*60�,�*2�()5-�*2�*06�-&�)52�*2)=��)5�-�()35��0�/0'/�5/�8)5,�0/�'-'/�53�0�3�'*�3��//�-& ������������������

Page 52: 3 Lenguajes de primer orden.pdf

��� ���������� ����������������������������