chapter eight: summary of definitions (minus proof rules)

proof

a series of steps that leads from the premises of a symbolic argument to its conclusion

implicational rules

a class of inference rules that include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, constructive dilemma, simplification, conjunction, and addition

law of the excluded middle (LEM)

states that for any statement p, either p is true or ~p is true, that is, p v ~p

law of noncontradiction (LNC)

for any statement p, it is false that both p and ~p are true, that is, ~(p.~p)