[.uk] Intermediate Logic: Answer Key (2nd edition) (ISBN 1591280362)

Discussions of Logic for Christian Private and Home Schools:
Logic from a Christian Perspective Chapters Include: * Definition (Purpose & Types; Genus & Species, Extension and Intension; Methods of Defining; Rules for Defining by Genus and Difference) * Propositional Logic (Introduction; Negation, Conjugation, and Disjunction; Truth Tables for Determining Truth Values; The Conditional; The Biconditional; Truth Tables for Determining Validity; Using Assumed Truth Values for Shorter Truth Tables; Shorter Truth Tables for Consistency; Shorter Truth Tables for Equivalence; The Dilemma) * Formal Proofs of Validity (Rules of Inference; Recognizing the Rules of Inference; Developing Formal Proofs; The Rules of Replacement; Practice with Proofs; The Conditional Proof; Reduction ad Adbsurdum; Proving Rules Unnecessary; Truth-Functional Completeness) * Truth Trees (Truth Trees for Consistence; Decomposition Rules; Techniques for Constructing Truth Trees; Truth Trees for Self-Contradiction and Tautology; Truth Trees for Equivalence; Truth Trees for Validity)