-> ~( b -> c H u m a n i t i e s

1. Use a truth tree or truth trees to determine whether it is possible for this sentence to be true. Explain your answer.

undefined

A -> ~(B -> C)

undefined

2. Translate this prose sentence into formal notation and then use a truth tree or truth trees to determine whether it is possible for the sentence to be true. Explain your answer.

undefined

It is false that either if I am a student then I love logic or if I am a student then I do not love logic.

undefined

3. Use a truth tree or truth trees to determine whether this sentence is a contingency, a contradiction, or a tautology. Explain your answer.

undefined

(A -> B) ^ (~A v ~B)

undefined

4. Translate this prose sentence into formal notation and then use a truth tree or truth trees to determine whether this sentence is a contingency, a contradiction, or a tautology. Explain your answer.

undefined

If I’m tired then I’ll take a nap, but if I’m not tired then I won’t take a nap.

undefined

5. Use a truth tree or truth trees to determine whether this set of formal sentences is consistent, contradictory, or equivalent (remember, ‘or’ is inclusive). Explain your answer.

undefined

A ^ B, ~(~A ^ ~B)

undefined

6. Translate this set of prose sentences into formal notation and then use a truth tree or truth trees to determine whether the set of formal sentences is consistent, contradictory, or equivalent (remember, ‘or’ is inclusive). Explain your answer.

undefined

Unless I cook dinner, I have to order delivery.

undefined

If I have to order delivery, then I do not cook dinner.

undefined

7. Use a truth tree or truth trees to determine whether this formal argument is valid or invalid. Explain your answer.

undefined

1. A v (B v C)

undefined

2. ~(~A v ~B)

undefined

C. C

undefined

8. Translate this prose argument into formal notation and then use a truth tree or truth trees to determine whether the formal argument is valid or invalid. Explain your answer.

undefined

If I study hard, then I will get a good grade. I will get a good grade. Therefore, I study hard.

undefined

9. Translate this prose argument into formal notation and then use a truth tree or truth trees to determine whether the argument is valid or invalid and sound or unsound. Explain both of your answers. (“I” refers to you, the student.)

undefined

I love burrata if and only if I have decent taste. I have decent taste. Therefore, either I love burrata or I really love burrata.