#5

A Valid

B Valid

C Invalid

D Valid

#6

p q p⇒ q q⇒ p (p⇒q)∨ (q⇒p)

T T T T T

T F F T T

F T T F T

F F T T T

Answer is: Tautology

#7

For argument:

1. a⇒b

2. b⇒c

3. ¬c

4. a ∨ d

5. ∴ d

Proof:
 1. a⇒b (Premise)

2. b⇒c (Premise)

3. ¬c (Premise)

4. Assume a (Assumption for conditional proof)

5. From 1 and 4, b (Modus Ponens)

6. From 2 and 5, c (Modus Ponens)

7. c contradicts ¬c so a must be false.

8. Hence, ¬ a

9. Since a ∨ d is true and a is false, d must be true. (Disjunctive Syllogism)

Answer: VALID