ࡱ> 796 @ bjbjFF ,&,,;  zzz8 `1:000 <G[ 0000000$\2R41   1 001~~~L 0 00R2 ~0~~[, /0 0]ezjp/L0$010`1g/p|5|5/ |5 /g{~ ggg11 vb v Practice in Logic and Extra Logic Homework 1. This homework is not required; it is just for those of you for whom logic is new, to give you some extra practice. Answers are provided. So try the problems, look at the answers to check yourself, and if you have remaining questions, ask me. The two sets are quite similar. 1. Practice in 1st-Order Predicate Logic Translate the following into 1st-order predicate logic (see Lecture 1). Add = to the grammar of predicate logic (see the way its added in Montagues Intensional logic, lecture 2.) Mary loves everyone. [assuming D contains only humans] Mary loves everyone. [assuming D contains both humans and non-humans, so we need to be explicit about everyone as every person] No one talks. [assume D contains only humans unless specified otherwise.] Everyone loves himself. Everyone loves everyone. Everyone loves everyone except himself. (= Everyone loves everyone else.) (This one needs =. See note on problem 14 on the next page.) Every student smiles. Every student except George smiles. Everyone walks or talks. Every student walks or talks. Every student who walks talks. Every student who loves Mary is happy. Every boy who loves Mary hates every boy who Mary loves. 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 doesnt require that.) Extra Logic Homework #1. (not to hand in) Use the notation and the predicates and constants given in the handout in which we did the syntax and semantics of predicate logic (Lecture 1). Add additional constants as needed. Translate the following English sentences into first-order predicate calculus. If any of the English sentences are ambiguous with respect to their logical structure, give two different translations that capture their two interpretations. (You are free to assume that D is a domain of humans, so that quantifier expressions like No one, everyone, etc., can be represented without the need for an additional predicate person.) Feel free to send me notes, comments, and questions. There is not always a single right answer, and the meanings of the English sentences are not always clear-cut, e.g. when to interpret if as if and only if. If, after checking the answer sheet, you have questions about the interpretation of the sentence, or about whether what you wrote in your formula corresponds to how you in fact interpreted the sentence, ask me. 1. Everyone loves 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.) 3. Everyone who sees Mary loves Mary. 4. Everyone loves someone. (Ambiguous) 5. Someone loves everyone. (Ambiguous) 6. Someone walks and talks. 7. Someone walks and someone talks. 8. Everyone who walks is calm. 9. No one who runs walks. (Not ambiguous, but same note as for number 2.) 10. Everyone who Mary loves loves someone who is happy. 11. If anyone cheats, he suffers. 12. If anyone cheats, everyone suffers. 13. Anyone who loves everyone loves himself. 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.) 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. Practice in Logic and Extra Logic Homework 1 B.H. Partee, March 12, 2007 p. PAGE 1  FILENAME Practice in Logic and ExtraLogicHW1.doc Page  PAGE 1  234% F G K W X Z k q ( ) ǿdzǿzrg_WLh)2h[Z?mH sH hV4mH sH h=3mH sH h%zhew4mH sH h=3mH sH hew46mH sH hew4mH sH hew45mH sH hew4hew4CJH*aJmH sH hew4hew4CJaJmH sH hew4hew4H*mH sH h[mH sH hew4mH sH hew4h[Z?CJaJh=3CJaJhew4hV4CJaJ h[Z?5CJh[Z?h=3hV434G q ( ) c 3 K d  ) B " & F# .h8p @ xHP X xgd=3% & F# .h8p @ xHP X dxgdew4gdew4xgdew4 % L \ lgd[Z?gdew4;B `  34 @gd[Z? * L \ lgd[Z?gd[Z? x^gdew4" & F# .h8p @ xHP X xgdew4% & F# .h8p @ xHP X dxgdew4 ]v)/34AH t9:;ʾηΰvndjha&Uhh?Lha&hjh?Lha&Uhha&hc0J5mHnHu ha&0J5jha&0J5U ha&5h? h`Yh[Z? hHh[Z? hfh[Z? h[Z?5hV4h[Z?h=h[Z?CJaJh)2h[Z?5h)2h[Z?mH sH h=3mH sH h[Z?mH sH ' 2ZvAdx:;h$a$gd[Z? @gd[Z?h?hchc0JmHnHu ha&0Jjha&0JUha&jh?Lha&Uhha&hmHnHu *&P :p[Z?. A!0"0#$0% @ [Z?NormalL Gh8p @ xHP X @@@@@@@@@@@@@@@@@@@@@@@CJ_HmH sH tH @ [Z? Heading 1O$$$ ;`0h8p @ xH@&a$5OJQJmHsHJ@J [Z? Heading 2$<@&56OJQJ@@@ [Z? Heading 3$<@&5B@B [Z? Heading 4$x<@&56DA@D Default Paragraph FontRiR  Table Normal4 l4a (k(No ListO ?BnormalY Gh8p @ xHP X x7$8$H$O |o\bibliox Sh8p @ xHP X !(#$%h1$7$8$H$^h`aJhzz OTOC 2M 3h8p @ xHP X $ 7$8$H$^CJaJzz OTOC 3M 3h8p @ xHP X $ 7$8$H$^CJaJrr OTOC 1E 3h8p @ xHP X $J7$8$H$CJaJ66 q&TOC 4 X^XCJaJOR IGlosses @ @`0Pp @ ` 0Pp @`0Pp @` 0!!P""p#$aJ>@ h*Title{$ b h8p @ xHP X !(#$%`'(0*+-<1$@&a$5CJKHaJhr h* Footnote Textj b h8p @ xHP X !(#$%`'(0*+-1$ CJaJh<@< h*Header  !CJaJ8 @8 h*Footer  !CJO [Z?Bibliok Vh8p @ xHP X !(#$%`'h^h`O [Z?Bnormal12ptNoIndent[ Vh8p @ xHP X !(#$%`'^O^ [Z?BNormal5 0h8p @ xHP X .)@. [Z? Page Number@&@ [Z?Footnote ReferenceH*fB@f [Z? Body Text9 0h8p @ xHP X x&34Gq()c3Kd)B` 34 2 Z v  A d x :;h00000G0G# 0G# 0G# 0G# 0G# 0G# 0G# 0G# 0G# 0G# 0 G# 0 G# 0 G# 0 G# 0 G000000000000000000000000 @0@0@0x@0@0@0@00 #!34G : @0@0@0 @0@0e@0@0\\  B  NUW\g!!8@0(  B S  ? _Toc64311117 _Toc127643837GG/|@u8*urn:schemas-microsoft-com:office:smarttagsdate 1220073DayMonthYear$ ) :; :;3333&FGK)A3d)B:;:;#:r wPnWS9FEݞJA 1=utC,#utP%x_+ut{x, ^`>o(.0.>^`>o(..p0p^p`0o(...@ 0@ ^@ `0o(.... xx^x`o( ..... HH^H`o( ...... `^``o(....... P`P^P``o(........ ^`o(.........hh^h`o(. hh^h`OJQJo(hh^h`o(.0^`0o(. 88^8`hH. L^`LhH.   ^ `hH.   ^ `hH. xLx^x`LhH. HH^H`hH. ^`hH. L^`LhH.^`o(()@h ^`OJQJo(@h ^`OJQJo(hh^h`6o(()hh^h`o(.hh^h`o(.^`o(()hh^h`6o(()hh^h`o(.hh^h`o(.hh^h`o(.hh^h`o(()0^`05o(.0^`0o(.808^8`0o(..0^`0o(...0^`0o(....   ^ `o( ..... @ @ ^@ `o( ...... `^``o(....... x`x^x``o(........ HH^H`o(.........hh^h`o(.@h ^`OJQJo( hh^h`OJQJo(hh^h`o(.808^8`05o(()*>*^*`>o(()hh^h`o(.^`o(.#U@bu4i'REP%g_TXqtZSB