Exercise

Translate the following English sentences into symbolic logic sentences using the constants indicated. Make sure you write out what the atomic propositions are. In some cases this will be straightforward, but not in every case. Remember: atomic propositions never contain any truth functional connectives - and that includes negation! Note: although many of these sentences can be translated using only the horseshoe, others require truth functional connectives other than the horseshoe.

  1. The Tigers will win only if the Indians lose their star pitcher. (T, I)
  2. Tom will pass the class provided that he does all the homework. (P, H)
  3. The car will run only if it has gas. (R, G)
  4. The fact that you are asking me about your grade implies that you care about your grade. (A, C)
  5. Although Frog will swim without a bathing suit, Toad will swim only if he is wearing a bathing suit. (F, T, B)
  6. If Obama isn't a U.S. citizen, then I'm a monkey's uncle. (O, M)
  7. If Toad wears his bathing suit, he doesn't want Frog to see him in it. (T, F)
  8. If Tom doesn't pass the exam, then he is either stupid or lazy. (P, S, L)
  9. Bekele will win the race as long as he stays healthy. (W, H)
  10. If Bekele is either sick or injured, he will not win the race. (S, I, W)
  11. Bob will become president only if he runs a good campaign and doesn't say anything stupid. (P, C, S)
  12. If that plant has three leaves then it is poisonous. (T, P)
  13. The fact that the plant is poisonous implies that it has three leaves. (T, P)
  14. The plant is poisonous only if it has three leaves. (T, P)
  15. The plant has three leaves if it is poisonous. (T, P)
  16. Olga will swim in the open water as long as there is a shark net present. (O, N)
  17. Olga will swim in the open water only if there is shark net. (O, N)
  18. The fact that Olga is swimming implies that she is wearing a bathing suit. (O, B)
  19. If Olga is in Nice, she does not wear a bathing suit. (N, B)
  20. If Terrence pulls Philip's finger, something bad will happen. (T, B)