Truth Function Logic: Proofs, assignment help
Truth Function Logic: Proofs, assignment help
IF POSSIBLE CAN GET IT DONE BY 8-9 PM TONIGHT!
I need help solving proofs from Exercise 5-7 #37-48 (on page 61 of the PDF NOT Textbook page # like 271)
Construct the deductions for each of the following proofs. By the given premises, use the rules for deduction to get to the “:.” answer. For each line provide the rule used & number the lines.
FOR EXAMPLE:
1. P -> Q (Premise)
2. R -> S (Premise)
3. Q -> ~S (Premise) /:. P -> ~R
Answer:
4. P -> ~S CA 1,3
5. ~S -> ~R CONTR 2
:. 6. P -> ~R CA 4,6
