Thanks to visit codestin.com
Credit goes to www.scribd.com

Scribd
Upload
50 views2 pages

Rules of Inference

The document outlines 8 elementary valid argument forms and 10 replacement rules for logical inferences. The argument forms include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, and constructive dilemma. The replacement rules cover logical transformations like De Morgan's theorem, commutation, association, distribution, and double negation.

Uploaded by

Raffy Lopez
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
50 views2 pages

Rules of Inference

The document outlines 8 elementary valid argument forms and 10 replacement rules for logical inferences. The argument forms include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, and constructive dilemma. The replacement rules cover logical transformations like De Morgan's theorem, commutation, association, distribution, and double negation.

Uploaded by

Raffy Lopez
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Rules of Inference

Elementary Valid Argument  p.q


Forms 8. Material Equivalence
1. Modus Ponens
p⊃q 9. Addition

p p

 q  p˅q

2. Modus Tollens 9. Exportation


Replacement Rules
p⊃q
1. De Morgan’s Theorem
~q
 ~p
10. Tautology

3. Hypothetical Syllogism
p⊃q
2. Commutation
q⊃r
 p⊃r

4. Disjunctive Syllogism
p˅q
3. Association
~p
 q

5. Constructive Dilemma
(p ⊃ q) . (r ⊃ s) 4. Distribution
p˅r
 q˅s

6. Absorption
p⊃q 5. Double Negation
 p ⊃ (p . q)

7. Simplification
6. Transposition
p.q
 P

8. Conjunction
7. Material Implication
p
q
Rules of Inference

You might also like