Exercises Exercises Chapter 1 Assertions Wffs in CL Antecedents and consequents Chapter 2 Subformulas in CL Truth in CL Wffs in CL* Degree of Predicates Truth in CL* Semantic Properties in CL Arguments in CL Chapter 3 Wffs in TFL Connectives and components Chapter 4 Truth in Direct Models Truth in Extensional Models Truth Tables Entailment Equivalence Satisfiability Validity Recognizing DNF Converting to DNF Recognizing CNF Converting to CNF Chapter 5 Representing Constraints Chapter 6 Accessiblity Derivations with the Direct Introduction Rules Derivations with Elimination Rules Soundness and Completeness Chapter 7 Derivations with Direct Rules Chapter 8 Derivations with Conditional Introduction Derivations with Negation Introduction Derivations in TFL Chapter 9 [no exercises] Chapter 10 [no exercises] Chapter 11 Wffs in FOPL Scope of Wffs in FOPL Free and Bound Variables Open and Closed Wffs
