Reply
Fri 26 Apr, 2013 07:02 am
EXAMPLE:
1. R-->P
Q-->R /.: Q-->P
ANSWER:
3. Q-->P 1, 2, CHAIN ARGUMENT
Group 1 rules:
1. MODUS PONENS (MP)
P-->Q
P(underlined)
Q
2. MODUS TOLLENS (MT)
P-->Q
~Q (underlined)
~P
3. CHAIN ARGUMENT (CA)
P-->Q
Q-->R (underlined)
P-->R
4. DISJUNCTIVE ARGUMENT (DA)
P v Q P v Q
~P (underlined) ~Q (underlined)
Q P
5. SIMPLICATION (SIM)
P & Q (underlined) P & Q (underlined)
P Q
6. CONJUNCTION (CONJ)
P
Q (underlined)
P & Q
7. ADDITION (ADD)
P (underlined) Q (underlined)
P v Q P v Q
8. CONSTRUCTIVE DILEMMA (CD)
P-->Q
R-->S
P v R (underlined)
Q v S
9. DESTRUCTIVE DILEMMA (DD)
P-->Q
R-->S
~Q v ~S (underlined)
~P v ~R
I would normally agree, but at the moment I'm sober so I'll get back to you later on.