Definition:Tableau Proof (Formal Systems)/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Tableau Proof (Formal Systems)

When constructing a tableau proof, use the {{BeginTableau}} template to start it:

{{BeginTableau|statement|proof system}}


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

Then, lines can be added to the proof by using the {{TableauLine}} template, or specific variants of it as listed on Category:Tableau Proof Templates.

At the end of the proof, use the {{EndTableau}} template: