Logic Deductions

Can you provide a link to the group I rules?

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

SVR 1, 2, 3, CD