Name: Aldrin A.

Magallanes
Subject: Combinatorics
Time: 7:30 – 10:30

Ten Rules of Inference

1. Addition (Add) P_____ Truth table:

.˙.p vq p q pvq f
T T T T
Corresponding Tautology: p  ( p v q) T F T T
F T T T
F F F T

2. Simplification (Simp.) p˄q Truth table:

.˙. p
p q p˄q f
Corresponding Tautology: ( p ˄ q )  p T T T T
T F F T
F T F T
F F F T

3. Conjunction (Conj.) p Truth table:

q_______
.˙.p˄q p q (p) ˄ (q) p˄q f
T T T T T
Corresponding Tautology: T F F F T
( (p) ˄ (q) )  ( p ˄ q ) F T F F T
F F F F T

4. Modus Ponens (MP) pq Truth table:

p____
.˙.q p q pq ((p  q) ˄ p) f
T T T T T
Corresponding Tautology: T F F F T
((p  q) ˄ p)  q F T T F T
F F T F T

5. Modus Tollens (MT) pq Truth table:

~q___
. ˙ . ~p p q ~q ~p p  q ((p  q ) ˄ ~q ) f
T T F F T F T
Corresponding Tautology: T F T F F F T
((p  q ) ˄ ~q )  ~p F T F T T F T
F F T T T T T

6. Disjunction Syllogism (DS) Truth table:

pvq
~p__ p q ~p pvq (p v q) ˄ ~p f
.˙.q T T F T F T
T F F T F T
Corresponding Tautology: F T T T T T
((p v q) ˄ ~p)  q F F T F F T
 pvq Truth table:
~q__
.˙.p p q ~q pvq (p v q) ˄ ~q f
T T F T F T
Corresponding Tautology: T F T T T T
((p v q) ˄ ~q)  p F T F T F T
F F T F F T

7. Hypothetical Syllogism (HS)

pq
q  r___ Corresponding Tautology:
.˙.pr ((p  q) ˄ (q  r))  (p  r)
Truth table:

p q r pq qr pr (p  q) ˄ (q  r) f

T T T T T T T T
T T F T F F F T
T F T F T T F T
T F F F T F F T
F T T T T T T T
F T F T F T F T
F F T T T T T T
F F F T T T T T

8. Constructive Dilemma (CD)

(p  q) ˄ (r  s)
p v r________ _ Corresponding Tautology:
.˙.qvs [((p  q) ˄ (r  s)) ˄ (p v r)]  (q v s)

Truth table:

p q r s pq rs pvr qvs (p  q) ˄ (r  s) ((p  q) ˄ (r  s)) ˄ (p v r) f

T T T T T T T T T T T
T T T F T F T T F F T
T T F T T T T T T T T
T T F F T T T T T T T
T F T T F T T T F F T
T F T F F F T F F F T
T F F T F T T T F F T
T F F F F T T F F F T
F T T T T T T T T T T
F T T F T F T T F F T
F T F T T T F T T F T
F T F F T T F T T F T
F F T T T T T T T T T
F F T F T F T F F F T
F F F T T T F T T F T
F F F F T T F F T F T
 9. Destructive Dilemma (DD)
(p  q) ˄ (r  s)
~q v ~s________ Corresponding Tautology:
. ˙ . ~p v ~r [((p  q) ˄ (r  s)) ˄ (~q v ~s )]  (~p v ~r)

Truth table:

~ ((p  q) ˄ (r  s))
p q r s ~p ~q ~r pq rs ~q v ~s ~p v ~r (p  q) ˄ (r  s) f
s ˄ (~q v ~s )
T T T T F F F F T T F F T F T
T T T F F F F T T F T F F F T
T T F T F F T F T T F T T F T
T T F F F F T T T T T T T T T
T F T T F T F F F T T F F F T
T F T F F T F T F F T F F F T
T F F T F T T F F T T T F F T
T F F F F T T T F T T T F F T
F T T T T F F F T T F T T F T
F T T F T F F T T F T T F F T
F T F T T F T F T T F T T F T
F T F F T F T T T T T T T T T
F F T T T T F F T T T T T T T
F F T F T T F T T F T T F F T
F F F T T T T F T T T T T T T
F F F F T T T T T T T T T T T

10. Absorption (Abs)

(p  q)______ Corresponding Tautology:
. ˙ . p  (p ˄ q) (p  q)  (p  (p ˄ q))

Truth table:

p q pq p˄q p  (p ˄ q) f
T T T T T T
T F F F F T
F T T F T T
F F T F T T