Assignment #6: Formal Proofs

Read: Van Cleave, section 2.11. Do exercise sets 16 & 17.

8 Rules of valid inference:

Modus Ponens (MP)

p⊃q,
p
∴
q

 Modus Tollens (MT)

 p⊃q,
~q
∴
~p

 Disjunctive Syllogism (DS)

p∨q,
~p
∴
q

 or, if desired,

p∨q,
~q
∴
p

Simplication (Simp)

p.q
∴
p

 or, if desired,

p.q
∴
q

Conjunction (Conj)

p,
q
∴
p.q

Hypothetical Syllogism (HS)

p⊃q,
q⊃r
∴
p⊃r

Addition(Add)

 p

∴
p∨q

 Constructive Dilemma (CD)

(p⊃q),
(r⊃s),
p∨r
∴
q∨s