Template:BeginTableau

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

Usage
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 proof 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 :



At the end of the tableau proof, invoke:
 * EndTableau

{| 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