Exercise: Truth Tree Tests for Validity
Test the following arguments to see whether
they are valid or invalid using the truth tree method:
| 1. | A
⊃
(C & D) (C ≡ D) --------------- ~(A & C) |
Check answer |
|
| 2. | ~(R v S) ~(R ⊃ T) -------------- ~(~T ⊃ P) |
Check answer | |
| 3. | S & (R v ~T) ~R & ~~T T ≡ R --------------- S ≡ T |
Check answer | |
| 4. | (A
⊃
B) (B ⊃ C) -------- (A ⊃ C) |
Check answer | |
| 5. | (R v T) A ⊃ (~R & ~T) --------------- ~A |
Check answer | |
| 6. | R & (S
⊃ ~T) ~(~S v ~T) & (L v ~Z) ------------------------ ~R v (P ≡ Q) |
Check answer |