Scribd
Upload
61 views1 page

Inference Rules

The document lists 19 rules of inference for propositional logic: 1) Modus ponens and modus tollens allow inferring conclusions from conditional statements. 2) Syllogistic rules like hypothetical syllogism allow chaining conditional statements. 3) Additional rules govern interactions between logical connectives like conjunction, disjunction, and negation.

Uploaded by

Carlos Ignacio Ruiz
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
61 views1 page

Inference Rules

The document lists 19 rules of inference for propositional logic: 1) Modus ponens and modus tollens allow inferring conclusions from conditional statements. 2) Syllogistic rules like hypothetical syllogism allow chaining conditional statements. 3) Additional rules govern interactions between logical connectives like conjunction, disjunction, and negation.

Uploaded by

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

The 19 Rules of Inference: Any of the following logically equivalent expressions

can replace each other wherever they occur:


pq
~ (pq) (~ p v ~ q)
p 10. De Morgans
1. Modus Ponens (M.P.) Theorem (De M.) ~ (p v q) (~ p~ q)
.: q
(p v q) (q v p)
pq 11. Commutation (Com.)
(pq) (qp)
~q
2. Modus Tollens (M.T.)
[p v (q v r)] [(p v q) v r]
.: ~ p
12. Association (Assoc.)
[p (qr)] [(pq) r]
pq
[p(q v r)] [(pq) v (pr)]
3. Hypothetical qr
Syllogism (H.S.) 13. Distribution (Dist)
[p v (qr)] [(p v q) (p v r)]
.: p r
14. Double Negation p~~p
pvq (D.N.)
15. Transposition (p q) (~ q ~ p)
4. Disjunctive Syllogism ~ p (Trans.)
(D.S.) 16. Material Implication (p q) (~ p v q)
.: q (M. Imp.)
(pq) [(p q) (q p)]
(p q) (r s) 17. Material Equivalence
(M. Equiv.) (pq) [(pq) v (~ p ~ q)]
5. Constructive Dilemma p v r
(C.D.
.: q v s 18. Exportation (Exp.) [(pq) r] [p (q r)]
p (p v p)
pq 19. Tautology (Taut.)
p (pp)
6. Absorption (Abs.)
.: p (pq)

pq
7. Simplification (Simp.)
.: p

q
8. Conjunction (Conj.)
.: pq

p
9. Addition (Add.)
.: p v q

You might also like