Translation-Tips

advertisement
Translation Tips—Chapter 5 Copi
I. You will have translations like set II pp. 128-130 on the final exam. Your general approach to
translation should be:
 Step 1: Read the dictionary give FIRST. To make it easier on the final, I will have JUST
ONE DICTIONARY FOR ALL THE PROBLEMS.
 Step 2: then read the statement to be symbolized carefully and closely.
 Step 3: Focus on the subject, and write pseudo-code accordingly. Watch out for the
scope of the main quantifier.
 Step 4: Now turn to the components, and expand on them, focusing on only one
quantifier at a time.
 Repeat step 4 until all the structure is in pseudo-code
 Then transcribe into PL notation.
II. Remember your logical equivalences:
 You can use QN now. So if you semantically interpret “no S are P” as “there are no
things that are both S and P”, you can translate it as (x)(Sx  Px); but if it is clearer as
“All S things are non-P things”, then translate it as (x)(Sx  Px).
 Review the other logical equivalences pp. 110-113
 Remember the variables are all now usable: u, v, w, x, y, z. You can select them as you
wish. I personally like to choose different variables for clarity, but as long as you pay
attention to scope, you can often use the same variable. For example:
1.
(x)[Ax v (y)By]
2.
(x)[Ax v (x)Bx]
Both are equivalent, but I find #1 clearer.
 BUT REMEMBER: YOU CAN ONLY USE VARIBLES AS PARTS OF
QUANTIFIERS. E.g., (b) and (b) are ungrammatical.
 You can use {,}, <, >, [, ], (, ) in various orders as you please.
 If you have two dots (conjunctions) or two wedges (two disjunctions), you need not use
brackets internally. “Tolerable ambiguity”…
Examples: (I pick some of the more interesting problems)
#16:
Step 3: For all x, if x is a doctor and x treats a patient with no ailments, then x has no scruples.
Step 4: For all x, if x is a doctor and there exists a y such that y is a patient and x treats y, but y
has no ailments, then x has no scruples.
Step5: For all x, if x is a doctor and there exists a y such that y is a patient and x treats y but it is
not the case that there exists a w such that w is an ailment and y has w, then x has no scruples.
Step 6: For all x, if x is a doctor and there exists a y such that y is a patient and x treats y but it is
not the case has there exists a w such that w is an ailment and y has w, then it is not the case that
there exists a z such that z is a scruple and x has z.
Transcription:
(x){ <Dx  (y)[Py Txy  (w)(Aw  Hyw)] >  (z)(Sz  Hxz)}
Page 1 of 2
#18:
Step 3: For all u, if u is a farmer and u keeps only hens, then none of those hens will lay eggs that
are worth setting.
Step 4: For all u, if u is a farmer and for any w, u keeps w only if w is a hen, then none of those
hens will lay eggs worth setting.
Step 5: For all u, if u is a farmer and for any w, u keeps w only if w is a hen, then if x is a hen
and u keeps x, then x will not lay eggs worth setting.
Step 6: For all u, if is u is a farmer and for any w, u keeps w only if w is a hen, then for any x, if
x is a hen and u keeps x, then it is not the case that there exists a z such that z is an egg and x
lays z, and z is worth setting.
Transcription:
(u){Fu  < (w)(Kuw  Hw)  [ (x)[(Hx  Kux)  (z)[Ez  Lxz  Wz]] > }
#22:
Step 3: For all x, if x is a person, then x does not buy everything that any given store sells.
Step 4: For all x, if x is a person, then for all y, if y is a store, then x doesn’t buy all of what y
sells.
Step 5: For all x, if x is a person, then for all y, if y is a store, then there exists a z such that x
doesn’t buy z from y.
Transcription:
(x){Px  (y)[Sy  (z)Bxzy]}
OR: (x)(y)[ (Px  Sy)  (z)Bxzy]
OR: (x)(y)[ (Px  Sy)  (z)Bxzy]
#28:
Step 3: For all x, if x is a person, x does not give all his money to charity.
Step 4: For all x, if x is a person, it is not the case that for all y, if y is money and y belongs to x,
then x donates y to charity.
Step 5: For all x, if x is a person, it is not the case that for all y, if y is money and y belongs to x,
then there exists some z, such that z is a charity and x donates y to z.
Transcription:
(x){Px  (y)[(My  Byx)  (z)(Cz  Dxyz)]}
OR: (x){Px  (y)[(My  Byx)  (z)(Cz  Dxyz)]}
OR: (x){Px  (y)[(My  Byx)  (z)(Cz  Dxyz)]}
#44:
Step 3: There exists a v such that v is a donor and v donates to every charity.
Step 4: There exists a v such that v is a person and there exists an x and there exists a y such that
x is a charity and v donates y to x, and v donates to every charity.
Step 5: There exists a v such that v is a person and there exists an x and there exists a y such that
x is a charity and v donates y to x, and for all w, if w is a charity, then there exists a u such that v
donates u to w.
Transcribe:
(v){Pv  (x)(y)(Cx  Dvyx) (w)[Cw  (u)Dvuw}
I would allow you to drop the second interior conjunct—it seems to me to be redundant….
Page 2 of 2
Download