Using Logic Symbols


When translating from English sentences into logical form, "but" generally means the same as "and", and the phrase "neither A nor B" is translated as "not A and not B".  Additionally, ~ (negation) is performed before logical AND and logical OR, and all operations within parenthesis are performed first. (The precedence rules that apply are very similar to those in algebra!)

PRACTICE EXERCISES:

Using the sentence variables (p, q, and r) and the logic symbols (~, , and ), rewrite the following symbolically.

  1. I can study and go to parties every night.

  2. I am hungry but not thirsty.

  3. The baby is either hungry or thirsty.

  4. The weather is neither hot nor cold.

  5. I can study hard, or I can go to parties, but I cannot study hard and go to parties.