Scribd
Upload
65 views2 pages

Rules of Inference Test Table

The document outlines various rules of inference, categorized into Rules of Implication and Rules of Replacement. It includes key logical principles such as Modus Ponens, Modus Tollens, and De Morgan's Rule, among others. Each rule is presented with its corresponding logical expressions and conclusions.

Uploaded by

thabani mnyandu
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
65 views2 pages

Rules of Inference Test Table

The document outlines various rules of inference, categorized into Rules of Implication and Rules of Replacement. It includes key logical principles such as Modus Ponens, Modus Tollens, and De Morgan's Rule, among others. Each rule is presented with its corresponding logical expressions and conclusions.

Uploaded by

thabani mnyandu
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

Rules of Implication Rules of Replacement

p⊃q ~ (p • q) ∷ (~ p v ~ q)
~ (p v q) ∷ (~ p • ~ q)
1. Modus Ponens (MP) 9. De Morgan’s Rule (DM)

∴q
p

p⊃q (p v q) ∷ (q v p)
(p • q) ∷ (q • p)
2. Modus Tollens (MT) 10. Commutativity (Com)

∴~p
~q

p⊃q [p v (q v r)] ∷ [(p v q) v r]


q⊃r [p • (q • r)] ∷ [(p • q) • r]
3. Hypothetical Syllogism 11. Associativity (Assoc)

∴p⊃r
(HS)

[p • (q v r)] ∷ [(p • q) v (p • r)]


[p v (q • r)] ∷ [(p v q) • (p v r)]
4. Disjunctive Syllogism (DS) pvq 12. Distribution (Dist)

∴q
~p

5. Constructive Dilemma (p ⊃ q) • (r ⊃ s) 13. Double Negation (DN) p ∷ ~~ p

∴q v s
(CD) pvr

(p ⊃ q) ∷ (~q ⊃ ~ p)
∴p
6. Simplification (Simpl) p•q 14. Transposition (Trans)

15. Material (p ⊃ q) ∷ (~ p v q)
Implication (Impl)
7. Conjunction (Conj) p

∴p•q
q

16. Material (p ≡ q) ∷ [(p ⊃ q) • (q ⊃


∴pvq Equivalence (Equiv) p)]
8. Addition (Add) p

(p ≡ q) ∷ [(p • q) v (~ p •
~ q)]

17. Exportation (Exp) [(p • q) ⊃ r)] ∷ [p ⊃ (q ⊃ r)]

p ∷ (p v p)
p ∷ (p • p)
18. Tautology (Taut)

You might also like