User:Lord Farin/Tableau Proof Rules

= General form of Tableau proof =

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

= Axioms =

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

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

Excluded Middle
= Abbreviations for Derived results =

Many results are too common to derive every time, and therefore have been assigned an abbreviation for use in tableau proofs.

A listing is below; here is a template for a tableau proof row:

It is understood that all abbreviation links below are to be put in the fourth column of such a row.

Abbreviations and links

 * Absorption Laws: $\mathrm {AL}$;  $\mathrm {AL}$ 
 * Constructvie Dilemma: $\mathrm {CD}$;  $\mathrm {CD}$ 
 * De Morgan's Laws: $\mathrm {DM}$;  $\mathrm {DM}$ 
 * Destructive Dilemma: $\mathrm {DD}$;  $\mathrm {DD}$ 
 * Double Negation Elimination: $\neg \neg \mathcal E$;  $\neg \neg \mathcal E$ 