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
Follow Math Help Forum on Facebook and Google+
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. . .
View Tag Cloud