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.

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