Philosophy 251: Handout #3

VI. Translate each of the following sentences into formulas of SL.

1. If Bob jogs regularly, then he is not lazy.
2. Carol jogs regularly if and only if she protects the president.
3. Bob protects the president except when he is abroad.
4. If both David and Carol protect the president, then Al does too.
5. Provided neither Carol nor Bob protect the president, then Al doesn't either.
6. Albert does not jog regularly only if he works overtime, unless he is protecting the president.
7. If Carol jogs regularly and Bob is not lazy and Al is not working overtime, they all protect the president.
8. If Al works overtime only if Carol does, then Al and Carol protect the president exactly when Bob does.
9. Bob protects the president except when Al does not, unless Carol or David or Al is not an agent.
10. If Al is an assassin and not a Secret Service agent, then Carol and Bob are in trouble unless David saves the president.
11. In order to ace intro logic, it is sufficient that you get a hundred on every exam.
12. Receiving a degree and doing an internship are necessary for becoming a physician.
13. In order to get into medical school, it is necessary but not sufficient that you have good grades and take the admissions exam.
14. Committing a crime and getting caught are sufficient, but not necessary for getting arrested.
15. If George and Elliot are home this weekend, we will go to the theatre; otherwise, we will stay home.
16. Alice will win the championship unless she gets injured, in which case John will win.
17. I am happy only if my assistants are competent, but if my assistants are competent, then they get transferred to better jobs and I am not happy.
18. If you do not concentrate well unless you are alert, then provided you are not a maniac you will fly an airplane only if you are sober.
19. Provided that your concentrating well is a necessary condition for your passing, if you concentrate well only if you are threatened, then you will not pass unless you are threatened.
20. If neither Alex nor George is home this weekend, we will either go to the beach or see a movie; otherwise, we will go camping unless it rains, in which case we will stay home.