The History of LogicValues, Variables, and TypesPropositions and PredicatesLogical ConnectivesSimple and Compound PredicatesUsing Parentheses and Operator Precedence RulesTruth TablesImplicationPredicate StrengthGoing a Little FurtherFunctional CompletenessSpecial Predicate CategoriesTautologies and ContradictionsModus Ponens and Modus TollensLogical Equivalences and Rewrite RulesRewrite RulesUsing Existing Rewrite Rules to Prove New OnesChapter SummaryExercises