Philosophy 251: Handout #15
XXXII. Translate each of the following sentences into PL.
- Lions are ferocious, but tigers are not.
- If anything is ferocious, lions are.
- Any ferocious lion is best avoided.
- Overworked students are under-appreciated.
- Diligent professors are neither overworked nor underpaid.
- Every ambitious student is clever.
- Some clever students are not ambitious.
- No ambitious person is not a clever student.
- No car is safe unless it has brakes.
- Diligent professors are unhappy if they fail to get research
published.
- If every Bostonian cab driver is a maniac, then every Bostonian
pedestrian is in danger.
- Only members are allowed to enter.
- Only registered citizens may vote.
- Cats are the only pets worth having.
- Only poisonous snakes are dangerous animals.
- The only non-members allowed are escorted guests.
- The only students who pass are the ones who work.
- Only students are allowed unless some rule has changed.
- Only cats are delightful, but some small dogs are acceptable.
- The only spies who are devious are evil if and only if the
only dishonest politicians are crazy.
XXXIII. Translate each of the
following sentences into PL.
- Everyone respects at least one person.
- If anyone respects anyone, then everyone respects everyone.
- No one respects anyone, unless someone is respected by everyone.
- Some administrator respects some professor.
- Anyone who earns more than the president is a coach.
- Everyone who respects Bill hates George.
- If anyone hates George, then Al hates George; otherwise George
is admired by everyone.
- No one hating everyone is a necessary condition for someone
loving everyone.
- Every university is visited by some high school senior.
- Everyone who visits the University of Richmond admires some
building.
- Some seniors never go to any college.
- Some student both loathes and admires every professor.
- Some professors are respected by some students, but some
are not.
- If a professor is respected by no one, then he should not
get tenure.
- If you pass every test, then you will pass every course.
Back
to Syllabus