Required information

Skip to question

Identifying which Group I or Group II Rule was Used in Deductions

The annotations that explain how each line was derived have been left off the following deductions. For each line, supply the rule used and the numbers of any earlier lines that the rule requires.

Abbreviations for Group I and II Rules

MP=Modus ponens

MT = Modus tollens

CA = Chain argument

DA = Disjunctive argument

SIM = Simplification

CONJ = Conjunction

ADD = Addition

CD = Constructive dilemma

DD = Destructive dilemma

DN = Double Negation

COM = Commutation

IMPL = Implication

CONTR = Contraposition

DEM = DeMorgan's Laws

EXPORT = Exportation

ASSOC = Association

DIST = Distribution

TAUT = Tautology

Example1. P Q (Premise)

2. R S (Premise)

3. Q ~S (Premise) / P ~R

4.P ~S

5. ~S ~R

6. P ~R

Answer1. P Q

(Premise)

2. R S

(Premise)

3. Q ~S

(Premise) / P ~R

4. P ~S

1, 3, CA

5. ~S ~R

2, CONTR

6. P ~R

4, 5, CA

Identify which Group I or Group II Rule was used in Deductions. (1)

1. ~P (Premise)

2. (Q R) & (R Q) (Premise)

3. R v P (Premise) / Q

4. R

5. R Q

6. Q

1. ~P

(Premise)

2. (Q R) & (R Q)

(Premise)

3. R v P

(Premise) / Q

4. R

5. R Q

6. Q