ࡱ> Z\Y @ YbjbjFF .^,,u8>4::4nnnIII$lRiIInnp~~~\nn~~~En. @fxe\0,r `r Er EI]~k wIII$  ^Practice in 1st-order predicate logic with answers. Mary loves everyone. [assuming D contains only humans] (x love (Mary, x) Mary loves everyone. [assuming D contains both humans and non-humans, so we need to be explicit about everyone as every person] (x (person(x) ( love (Mary, x)) No one talks. [assume D contains only humans unless specified otherwise.] ((x talk(x) or equivalently, (x(talk(x) Everyone loves himself. (x love (x, x) Everyone loves everyone. (x(y love (x, y) Everyone loves everyone except himself. (= Everyone loves everyone else.) (x(y(( x = y ( love (x, y)) or (x(y( x `" y ( love (x, y)) Every student smiles. (x (student(x) ( smile( x)) Every student except George smiles. (x ((student(x) & x `" George) ( smile( x)) Everyone walks or talks. (x (walk (x) ( talk (x)) Every student walks or talks. (x (student(x) ( (walk (x) ( talk (x))) Every student who walks talks. (x ((student(x) & walk (x)) ( talk (x))) or (x (student(x) ( (walk (x) ( talk (x))) Every student who loves Mary is happy. (x ((student(x) & love (x, Mary)) ( happy (x))) Every boy who loves Mary hates every boy who Mary loves. (x((boy(x) & love (x, Mary)) ( (y((boy(y) & love(Mary, y))( hate (x,y))) Every boy who loves Mary hates every other boy who Mary loves. (So if John loves Mary and Mary loves John, sentence 13 requires that John hates himself, but sentence 14 doesn t require that.) (x((boy(x) & love (x, Mary)) ( (y((boy(y) & love(Mary, y) & y `" x) ( hate (x,y))) Homework #1, with answers. 1. Everyone loves Mary. (x love (x, Mary) 2. John does not love anyone. (Not ambiguous, but there are two equivalent and equally good formulas for it, one involving negation and the existential quantifier, the other involving negation and the universal quantifier. Give both.) ((x love(John, x) or equivalently, (x( love(John, x) 3. Everyone who sees Mary loves Mary. (x (see (x, Mary) ( love (x, Mary)) 4. Everyone loves someone. (Ambiguous) (i) (x(y love (x, y) (For every person x, there is someone whom x loves.) (ii) (y(x love (x, y) (There is some person y whom everyone loves, i.e. everyone loves some one specific person.) 5. Someone loves everyone. (Ambiguous) (i) (x(y love (x, y) (There is some person x who loves everyone.) (ii) (y(x love (x, y) (For every person y, there is someone who loves them i.e., no one is totally unloved.) 6. Someone walks and talks. (x(walk (x) & talk (x)) 7. Someone walks and someone talks. ((x walk (x) & (x talk (x)) or ((x walk (x) & (y talk (y)) Because neither quantifier is inside the scope of the other i.e. their scopes are independent it doesnt matter whether we use different variables here or use the same variable twice. But if one quantifier is inside the scope of the other, then it matters a great deal. When one quantifier is inside the scope of another, as in questions 4 and 5 above, always give them different variables! 8. Everyone who walks is calm. (x (walk(x) ( calm( x)) 9. No one who runs walks. (Not ambiguous, but same note as for number 2.) (i) ((x (run (x) & walk (x)) or equivalently, (ii) (x (run(x) ( ( walk(x)) 10. Everyone who Mary loves loves someone who is happy. (x(love (Mary, x)( (y(love(x,y) & happy( y))) 11. If anyone cheats, he suffers. (x (cheat(x) ( suffer( x)) 12. If anyone cheats, everyone suffers. (x (cheat(x) ( (y suffer(y)) 13. Anyone who loves everyone loves himself. (x((y love (x,y)( (love(x,x)) note: NOT this: (x(y (love (x,y)( (love(x,x)) What this one says is Anyone who loves anyone loves himself What the correct one says is IF you love everyone, THEN you love yourself. So the (y quantifier has to be inside the scope of the (. 14. Mary loves everyone except John. (For this one, you need to add the two-place predicate of identity, =. Think of everyone except John as everyone who is not identical to John.) (x (( x = John ( love (Mary, x)) or equivalently (x (x `" John ( love (Mary, x)) 15. Redo the translations of sentences 1, 4, 6, and 7, making use of the predicate person, as we would have to do if the domain D contains not only humans but cats, robots, and other entities. 1 . Everyone loves Mary. (x (person(x) ( love (x, Mary)) 4. Everyone loves someone. (Ambiguous) (i) (x(person(x) ( (y(person(y) & love (x, y))) (For every person x, there is some person y whom x loves.) (ii) (y(person(y) & (x(person(x) ( love (x, y))) (There is some person y whom every person x loves.) 6. 6. Someone walks and talks. (x(person(x) & walk (x) & talk (x)) Note: technically, we need more parentheses either (x(person(x) & (walk (x) & talk (x))) or (x((person(x) & walk (x)) & talk (x)) But since its provable that & is associative, i.e. the grouping of a sequence of &s doesnt make any difference, it is customary to allow expressions like (p & q & r). And similarly for big disjunctions, (p ( q ( r). But not with ( ! 7. Someone walks and someone talks. ((x (person(x) & walk (x)) & (x(person(x) & talk (x))) or equivalently ((x (person(x) & walk (x)) & (y (person(y) & talk (y))) Note: both in the original 7 and in this 7 56opqrstxz~           # % & ) u v w ûˍ˻ܻt˻i jh7*mH sH  jh7*mH sH h PPh7*56mH sH h%z6mH sH h7*h7*5mH sH h7*h7*56mH sH  j"h7*mH sH h7*mH sH hy9mH sH h%zmH sH h~q]5mH sH h7*5mH sH hy9hy95H*mH sH hy9hy95mH sH &6p ) u  : v & @ ^  & F 8p @ <gd!O 8p @ <gd!OcYYw x y z ~  ˽uiuuuiuh7*h PP5mH sH h7*h PP56mH sH  j"h PPmH sH h%zmH sH h7*h7*mH sH h PPmH sH h PP5mH sH  jh PPmH sH h PPh PP56mH sH  j"h7*mH sH h7*5mH sH h7*mH sH h PPh7*56mH sH  j$h7*mH sH '    xphECmH sH hECh PPmH sH h PP5mH sH h PPmH sH h PPh PP5mH sH  jh PPmH sH  jh PPmH sH h PPh PPmH sH h PPh PP56mH sH  j"h PPmH sH heh PPmH sH h%zmH sH h PPmH sH h PP56mH sH ,  : < > @ D R T V Z \ ` j n p v   & ' 㠒ymyhEChEC5mH sH hEChECmH sH hEChEC56mH sH hECh %56mH sH hECmH sH  jh %mH sH h PPh %56mH sH h %5mH sH h7*h %56mH sH  j"h %mH sH h %mH sH h%zmH sH h PPh PP5mH sH )' ( ) + / 1 2 4 5 6 : < = ? @ ^ _ ` a c j k l n o q u w x z { | ߪߟ߸ߪߗߟߗh&mH sH  jhECmH sH h PPhEC56mH sH h%zmH sH hEChECmH sH  jhECmH sH hEC5mH sH hECmH sH h7*hEC56mH sH  j"hECmH sH 8 $ % & ' * 1 2 3 7 ; = > ? D G H I N P Q U ̧̳̳̳̟̾̾̓̾̓h7*h&5mH sH h%zmH sH h&h&5mH sH  jh&mH sH h PPh&56mH sH h&mH sH h7*h&56mH sH  j"h&mH sH hEC5mH sH h&5mH sH : $ U 26 %8$f  8p @ @<gd!O 8p @ <^gd!O 8p @ <^gd!O 8p @ <gd!O & F 8p @ <gd!O 02468:<@FHJRZ^`xmamxmamxh!Oh&5mH sH h!Oh&mH sH h!Oh&56mH sH h!OmH sH h[mH sH h%zmH sH h7*h&56mH sH h7*h&5mH sH h&56mH sH h&5mH sH h&mH sH h&h&56mH sH  j"h&mH sH  jh&mH sH h&mH sH &`lrtvxz~ %&'()蹫薍vhh7*h!O56mH sH  j"h!OmH sH h!OmH sH h7*h7*5mH sH h[85mH sH h!Oh!O5mH sH h!Oh!O56mH sH h!Oh!OmH sH h!Oh&56mH sH  j"h&mH sH  jh&mH sH h!Oh&mH sH h!Oh&5mH sH %)-/0168W$%&'()-.45<MNOPQRVW]^efø롪떪Ê롪{p jh!OmH sH h!Oh7*h!OmH sH h!Oh!O5mH sH  j"h!OmH sH h!O5mH sH h PPh!O56mH sH  j$h!OmH sH  jh!OmH sH h[8h7*CJaJh7*h7*h!O56mH sH h!OmH sH h7*h!O5mH sH ,()./012379:;<=Aǹuggu[ugu[guh h 5mH sH h h 56mH sH h h mH sH h[8h CJaJmH sH h7*h 5mH sH h mH sH h 56mH sH  j$h mH sH h7*h 56mH sH  j"h mH sH h h7*h!Oh7*h!O5mH sH h7*h!O56mH sH h!OmH sH #( 4f 8p @ <gdQ 8p @ <gdhgi 8p @ <gd5  8p @ @<gd   8p @ @<gd!OA  !"&ɾɫwlw`w`wh h 5mH sH  j$h mH sH h h 56mH sH  j"h mH sH h[8h CJaJmH sH h7*h 5mH sH h mH sH h 56mH sH  j"h mH sH h7*h 56mH sH  j$h h h7*h h mH sH h[8h CJaJmH sH #  #ph[8hhgi5CJaJmH sH h[8hhgiCJaJmH sH hhgi56mH sH h7*hhgi56mH sH hhgimH sH hhgi5mH sH  hhgi56 j$hhgihhgih7*hECh5mH sH h7*h556mH sH h55mH sH h5mH sH  h556,49:;<>ACDHLNOSdlmnopstuwxz{|Șh7*hhgimH sH h!Ohhgi5mH sH hhgi56mH sH  j$hhgimH sH  jhhgimH sH h7* jhhgimH sH h PPhhgi56mH sH hhgi5mH sH h7*hhgi56mH sH  j"hhgimH sH hhgimH sH 0!"#%&(.014^_`achijvvh PPhQ56mH sH  j"hQhQh7*hQ56mH sH hQ5mH sH hQmH sH h&hQ56mH sH  j$hQmH sH  jhQmH sH h7*hQ5mH sH h7*hQ56mH sH  j"hQmH sH hQmH sH .4^}46  8p @ @<gd/{ 8p @ <gd!O 8p @ <gd[8 8p @ <gdQ  8p @ @<gd!Ojlmopqxyz}wlaYPlPh[85mH sH h[8mH sH  jh[8mH sH h[856mH sH h7*h[85mH sH h&h[856mH sH  j"h[8h[8mH sH h7*h[856mH sH  j"h[8mH sH h[8h7* h[8h h[8h7*hQ5mH sH h&hQ56mH sH  j"hQ jhQmH sH hQmH sH ~Ѿݠvk`R`heh[856mH sH heh[8mH sH  jh[8mH sH  j"h[8mH sH h[8h7* h[8h7* h[8h[8h[85mH sH h[8mH sH  jh[8mH sH h[856mH sH h[8mH sH h[8h[8mH sH h7*h[85mH sH h&h[856mH sH  j"h[8h7*h[856mH sH    (,.46ӼӼӮӥӼӼӮxqiqeah/{h7*h[8h7*5 h[8h7* h[8h[8hECh[8mH sH  j"h[8mH sH h[8h[8h[85mH sH h[85mH sH h7*h[856mH sH h7*h[85mH sH  jh[8mH sH h[8mH sH h[85mH sH hECh[856mH sH heh[856mH sH %  HIJKQRSUVWXYZ`abfjlmnopv|h/{CJaJmH sH h[8h/{CJaJmH sH h/{56mH sH  j$h/{mH sH h/{h7*h/{5mH sH  jh/{mH sH h PPh/{56mH sH h/{5mH sH h7*h/{56mH sH  j"h/{mH sH h/{mH sH ,C9^FcY 8p @ <gdgz  8p @ @<gdgz  8p @ @<gd/{ 8p @ <gd!O 8p @ <gd/{:;<ԵԧԜԐymyie^W hgz56 j$hgzhgzh/{h/{CJaJmH sH h[8h/{CJaJmH sH h/{mH sH h h/{5mH sH  jh/{mH sH h PPh/{56mH sH  j"h/{mH sH h/{56mH sH h/{5mH sH h/{mH sH h h/{56mH sH  j$h/{mH sH h h/{mH sH "<=CDEIMOPTXZ[Šh%G5mH sH h%G h%G56h/{ jhgzmH sH  jhgzmH sH hgz hgz56 j$hgzh7*hgz56mH sH h PPhgz56mH sH hgz5mH sH hgzmH sH 9 !"#'(,./1259GHIJLMSTUY]_`abeĽėrfhehgz5mH sH heh%G56mH sH heh%G5mH sH heh%GmH sH hehgz56mH sH hehgzmH sH h%G5mH sH h%G hgz56 j$hgzh7*hgz56mH sH hgzmH sH hgz5mH sH h PPh%G56mH sH h%GmH sH (efghiopquy{|~XbYcYdYfYgYiYjYlYmYoYpYzY{YYYYYYջկ૩|og|chthtCJaJh+QCJaJmHnHuh[VhtCJaJjh[VhtCJUaJhKpjhKpU h/{h/{Uh%Ghehgz5mH sH heh%G56mH sH heh%G5mH sH heh%GmH sH hehgzmH sH hehgz56mH sH  j$hgz", it would be OK and customary to drop outermost parentheses, i.e. the very first left parenthesis and the very last right parenthesis may be dropped. (But no parentheses can be dropped in 6; they are not really outermost. Only when a pair of parentheses contains the entire formula can it be dropped under the drop outermost parentheses convention.      FILENAME Answers to Practice in Logic and HW 1.doc Ling 310 PAGE  PAGE 1 Feb 27, 2006 cYeYfYhYiYkYlYnYoYYYYYYYYYYY 8p @ <gd!O  !X gd\ &`#$gd\  !X gd\YYYYYYYYYYYYYYYYY h/{h/{hKphtCJaJh40JmHnHuht ht0Jjht0JU,1h. A!"#$% @@@ gzNormalCJ_HaJmH sH tH DA@D Default Paragraph FontRiR  Table Normal4 l4a (k(No List4 @4 [VFooter  !.)@. [V Page Number4@4 [VHeader  !C^6p)uH &@^$U %8$f(  4 f  4 ^ } mP|?$%&1@D0 00 00 00 00 00 00 00 00 00 0 0 0 00 0 0 0 0 0 0 0000x000000000 0000000000000000 00 0000@00x0x0x0x0x0x000x0x0x0x0x00x0 0 0 0 0 00x@00/@00/@0@00 (//@00@00@0@00X NYtttww ' `)Aj<eYY !#$%&()*+. cYY"'-Y ANUY`bw!!8@0(  B S  ?/3D?D8*urn:schemas-microsoft-com:office:smarttagsdate 2200627DayMonthYearIOPQRSX\^_abhlmnopruvwz~  !#$./0156;?CEI#&0ADrs  :@xyJ()`a&' '(W'(/0v~  ; < m n   ` a tvRT~M}>?H#&0AD3333333333333333333333333333333333333333333333333333q&H & &<Wfjv   4 9 _ 3?ADADi/nU0^`0o(. 88^8`hH. L^`LhH.   ^ `hH.   ^ `hH. xLx^x`LhH. HH^H`hH. ^`hH. L^`LhH.i/L        ! ezW C_y9X %&+ PPa Q[V~q]hhgiKp%zgz/{7*@t!OQ%G +Q54[8EC[\@djC@ @ @8@@UnknownGz Times New Roman5Symbol3& z Arial"1h*pf*pfUhF@ '@ '!42QHP ?y9%Practice in 1st-order predicate logicBarbara H ParteeBarbara H Partee Oh+'0$ @L h t  (Practice in 1st-order predicate logicBarbara H Partee Normal.dotBarbara H Partee2Microsoft Word 10.0@F#@.d@D*ne@D*ne@՜.+,0$ hp  University of Canterbury'  &Practice in 1st-order predicate logic Title  !"#$%&'()*+,-./12345679:;<=>?@ABCDEFGHJKLMNOPRSTUVWX[Root Entry F@rxe]Data 01Table8 WordDocument.^SummaryInformation(IDocumentSummaryInformation8QCompObjj  FMicrosoft Word Document MSWordDocWord.Document.89q