PHL 330 Homework Three
Due 3-19-2019
Hand this sheet in with your NAME and the written exercises completed.
Logan Mortz
I. Translate the following sentences in quantified FOL sentences, using the notes as guides.
Keep in mind domain of discourse when choosing a quantifier.
1) Sparrows are not mammals (Sx: x is a sparrow; Mx: x is a mammal
2) Reporters are present (Rx: x is a reporter; Px: x is present)
3) No boy scout ever cheats (Bx: x is a boy scout; Cx: x cheats)
4) Only citizens of the United States can vote in U.S. elections (Cx: x is a citizen of the
United States; Vx: x can vote in U.S. elections)
5) “Everybody doesn’t like something, but nobody doesn’t like Willie Nelson”—Steve
Dollar, Cox News Service (NOTE: you’ll need ¬, , , and  for this one, since it’s
making two relatively complex claims. But note how the negations work with the
content; Content: Px: x is a person; Sx: there is something x doesn’t like; Nx: x doesn’t
like Willie Nelson).
II.
For the following, chose Determinate Sentence (one that is about specific individuals—
DS), Quantifier Sentence (QS), Well-Formed-Formula (WFF) or None (NA). Predicates
are irrelevant. The brackets (as opposed to parentheses) are fine. If it is a sentence,
translate into English (again, predicate meanings are irrelevant—just translate them with
the logic).
DS
1) Tet(a) Determinate Sentence
QS
2) x Cube(x)
DS
3) (Large(a)  ¬LeftOf(a,b)
QS
4) ¬x (¬Cube(x)  Tet(x)) Everything is not a cube or a tet
WFF
5) Tet(x)  y (Medium(y) Large(y))
Everything is a Cube
WFF or NA 6) (a) (Medium(a)  Tet(x))
NA
7) y [Cube(a)  Dodec(a)]
DS
8) Brillig(b)  (Mimsy(a)  Slithy(a))
QS
9) x (Large(x)  SameRow(x,y))  z (Cube(z)
same row as x is a cube
QS
Everything that is large and in the
10) x [Brillig(x)  Tove(x))  (Mimsy(x)  Gyre(x))]