Philosophy Forums
Forums Links Articles Gallery Chat
Style:


Can I Get Some Help on a Deduction Proof?

printPrint


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?
quote post
#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:
quote post
#2
What are you stuck on? The shorthand method of doing a truth table, or the proof part?
Download thread as


You don't have permission to post.

Please login or register.

Contact the Administration

Powered by WSN Forum

4 total queries
This page was created in 0.67 seconds
Memory used: 2581120 bytes
Server Status: time since last reboot is 158 days, 21:56, load average: 1.31, 1.14, 1.04