ABSTRACT
Although the method of assigning values is a great improvement on truth tables, it too can get out of control. It often is difficult to keep track of what is going on, and you don’t get too much of an idea of why the argument is valid or invalid-all you get is one counterexample, if there is one. We will introduce another method for evaluating arguments that is as quick and efficient as the method of assigning values, but is much easier to handle, and that gives you more information about the argument form you are considering. The structures we will use are called analytic tableaux, or, more simply, trees.
