User:Lord Farin/Tableau Proof Rules

= General form of Tableau proof =

The tableau proofs work with tables and general lines like this:

= Inference lines not dependent on LEM =

Throughout, $i, j \ldots$ denote arbitrary line numbers in a tableau proof.

Capital letters $I, J \ldots$ denote arbitrary sets of line numbers.