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