Next: TautologySatisfiable, Logical Truth
Up: How to Construct a
Previous: How to Construct a
- Standard ordering for rows is worth adopting.
- Shortcuts: e.g. if one operand of is false,
there is no need to evaluate the other one.
- Some rows may be spurious: for instance, if A is
the sentence 2=2, it can never be false. In such a case
the bottom half of the table would be spurious.
Mike Rosner
Fri Oct 30 14:59:11 MET 1998