Chapter 4 Sentential Logic: Truth-Trees

Contents

• 4.1 Introduction
• 4.2 Truth-Tree Rules for Sentences Containing $\sim$, '$\lor$', and '$\&$'
• 4.3 Rules for Sentences Containing '$\sim$', '$\supset$', and '$\equiv$'
• 4.4 More Complex Truth-Trees
• 4.5 Using Truth-Trees to Test for Truth-Functional Truth, Falsity, and Indeterminacy
• 4.6 Truth-Functional Equivalence
• 4.7 Truth-Functional Entailment and Truth-Functional Validity