Symbolic Logic 5E: 2.2, III

“Symbolizing ‘Amherst wins its first game’ as A, ‘Colgate wins its first game’ as C, and ‘Dartmouth wins its first game’ as D, symbolize the following compound statements”

Note: These problems have more than one right answer; problem 9, for example, can also be expressed as ‘(C → ¬D) → (A ∧ ¬C)’. This is logically equivalent to what I’ve written below.

1. (A ∧ C) → ¬D
2. A → (C ∨ D)
3. A → (C ∧ D)
4. A → (C ∨ D)
5. ¬A → ¬(C ∨ D)
6. ¬(A ∧ C) → (C ∧ D)
7. A → ¬(C ∧ D)
8. ¬A → ¬(C ∨ D)
9. ¬(A ∧ ¬C) → ¬(C → ¬D)
10. (A → ¬C) ∧ (¬C → D)
11. [A → (¬C → D)]
12. ¬(A ∧ C) → (C → D)
13. A → ¬(C ∧ D)
14. (A → C) → ¬D
15. ¬(A ∨ C) → ¬(A ∧ C)

Advertisements

Leave a comment

Filed under Solution Sets

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s