Next: Truth Table for a
Up: No Title
Previous: No Title
- Make the first row of the table consisting of all the
variables followed by a fully parenthesised version of the formula.
- Write down n columns that encode the possible interpretations underneath
the variables. This
yields rows.
- Systematically fill in the columns under the connectives
- Start with connectives that apply only to
atomic sentences.
- Once this is done we work on sentences whose main connective
has already had its value filled in.
- Carry on until the the main connective of the sentence is filled in.
Mike Rosner
Fri Oct 30 14:59:11 MET 1998