Thread: logic

Use the 17 Rules of Inference to prove the following arguments valid.
Question 1.
1. (Q . F) v R
2. (Q v R) > ~P
3. ~A / ~(A v P)

Question 2.
1. A > ~A / ~A

Question 3.
1. A > B
2. C > B / (A v C) > B

Question 4.
1. S > R/ S > (R v T)

??? Ah

Hello, scoober!

Here's #3 . . .

We have the rule: .

I will call it "ADI" -- Alternate Definition of Implication.

Use the 17 Rules of Inference to prove the following argument valid.

. .