An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp).

An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp).

Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.

Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.

Introduction of final seven replacement rules (DeM, BE, contra, dist, exp, assoc, dup); and introduction to the method of indirect proof.

Introduction of final seven replacement rules (DeM, BE, contra, dist, exp, assoc, dup); and introduction to the method of indirect proof.

Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a tautology.

Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a tautology.

Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.

Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.