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" ! Line !! ! Pool ! Formula ! Rule ! Depends upon ! Notes