Can I Get Some Help on a Deduction Proof?: Philosophy Forums

Can I Get Some Help on a Deduction Proof?

nova1224
Initiate

Usergroup: Members
Joined: Feb 07, 2008
Total Topics: 2
Total Posts: 3

Posted 04/20/08 - 01:40 AM: Subject: Can I Get Some Help on a Deduction Proof?	#1
Test each argument for validity via shorthand method first and then construct a deductive proof for each – make sure you indicate the rules used for each derived step: i. 1. Q & S 2. S → P / P Shorthand method: Q & S S → P P Valid Deductive proof: 1.Q & S (Premise) 2. S → P (Premise) / P 3. P 2. MP ii. Exercise 9-9, #7 1. ~S v ~ R 2. P → (S & R) / ~P Shorthand method . ~S v ~ R P → (S & R) P Deductive proof: 1. ~S v ~ R (Premise) 2. P → (S & R) (Premise) / ~P iii. Exercise 9-10, #3 1. F → R 2. L → S 3. ~C / ~F v ~L Shorthand method: F → R L → S ~C ~F v ~L Deductive proof: 1. F → R (Premise) 2. L → S (Premise) 3. ~C (Premise) / ~F v ~L iv. Exercise 9-10, #6 1. ~L → (~P → M) 2. ~(P v L) / M Shorthand method: ~L → (~P → M) ~(P v L) M Deductive proof: 1. ~L → (~P → M) (Premise) 2. ~(P v L) (Premise) / M Edited by Postmodern Beatnik on 04/20/08 - 11:24 AM. Reason: capitaliztion

Goaswerfraiejen
Assistant Professor

Usergroup: Members
Joined: May 04, 2006
Location: Canada
Total Topics: 4
Total Posts: 422

Posted 04/20/08 - 10:15 AM:	#2
What are you stuck on? The shorthand method of doing a truth table, or the proof part?

You don't have permission to post.