Topic trees Logical System default Reading a Counter Example from the Tree Book traversal links for Tree Tutorial 3: Using Trees to Test for Satisfiability and Invalidity ‹ Propositional Exercises: Roll your own Up Reading a Counter Example from the Tree ›