Template:BeginTableau

Include this template to create the start of the table that is to be a tableau proof.

This template can be invoked as:

where:
 * is the statement of logic that is to be proved, without the  delimiters
 * is a link (optional) to page containing the specific axiom system in which this proof is valid.

This template will display a line of introduction, then invoke the header of the MediaWiki table into which the rest of the tableau proof will be entered.

The introductory line can be suppressed by specifying a non-empty value for the option :



{| border="1" ! style="padding: 0px 3px" | Line !! ! style="padding: 0px 3px" | Pool ! style="padding: 0px 3px" | Formula ! style="padding: 0px 3px" | Rule ! style="padding: 0px 3px" | Depends upon ! style="padding: 0px 3px" | Notes