| Phi 270 Fall 2013 |
|
(Site navigation is not working.) |
Phi 270 F97 test 3
F97 test 3 questions
(Questions 1-6 are from quiz 3 and 7-9 are from quiz 4 out of 6 quizzes—these two quizzes addressed the part of the course your test is designed to cover.)
| Analyze the sentences below in as much detail as possible without going below the level of sentences (i.e., without recognizing individual terms and predicates). Be sure that the unanalyzed components of your answer are complete and independent sentences and that you respect any grouping in the English. | ||
| 1. |
The creek will be high enough only if it rains.
answer |
|
| 2. |
Unless you object, Al will show the letter to Barb if she asks to see it.
answer |
|
| Check each of the following for validity using the basic system of derivations (i.e., do not use attachment rules but you may use detachment rules). If a derivation fails, confirm a counterexample that lurks in an open gap. | |||
| 3. |
A → (B ∨ C)
answer
¬ C → (A → B) |
||
| 4. |
A → (B → C)
answer
(C ∧ A) → B |
||
| 5. |
Analyze the sentence below in as much detail as possible, continuing the analysis when there are no more connectives by identifying predicates, functors, and individual terms. Be sure that the unanalyzed expressions in your answer are independent and that you respect any grouping in the English.
If Dan’s wife received the message, she is the person who called.
answer
|
| 6. | a. |
Give two different expansions (using predicate abstracts) of the sentence: Raba.
answer |
| b. |
Put the following into reduced form: [Pxa ∧ Qbx]xa.
answer |
| 7. |
Describe a structure (i.e., an assignment of extensions to the non-logical vocabulary) which makes the following sentences all true. (You may present the structure either using tables or, were possible, using diagrams.)
a = fb, fa = fb, b = c, Fa, ¬ F(gc), Rb(fa), ¬ Ra(fb), R(gc)c
answer
|
| Use derivations to check each of the claims of entailment below. You need not present counterexamples to dead-end gaps. | |||
| 8. |
Fa ∧ ¬ Fb ⊨ b = c → ¬ a = c
answer |
||
| 9. |
fa = c, fb = c, Rc(fa) → Ra(fa) ⊨ R(fa)(fb) → Rb(fb)
answer |
||
F97 test 3 answers
| 1. |
the creek will be high enough only if it rains ¬ the creek will be high enough ← ¬ it will rain
¬ H ← ¬ R or ¬ R → ¬ H
H: the creek will be high enough; R: it will rain |
| 3. |
|
| 5. |
Dan’s wife received the message → Dan’s wife is the person who called [ _ received _ ] Dan’s wife the message → Dan’s wife = the person who called R(Dan’s wife)m → [ _’s wife] Dan = p R(fd)m → fd = p R: [ _ received _ ]; d: Dan; f: [ _’s wife]; m: the message; p: the person who called |
| 6. | a. |
The following are the possibilities; in the last, τ may be any term:
[Rxbx]xa, [Rxba]xa, [Rabx]xa, [Raxa]xb, [Raba]xτ
|
| b. | Paa ∧ Qba |
| 7. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(The diagram at the left provides a complete answer, and so do the tables above. The tables below show a way of arriving at these answers.) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
| 8. |
|
| 9. |
|