Definition:Tableau Proof (Formal Systems)/Technical Note
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}}
where:
statement
is the statement of logic that is to be proved, without the$ ... $
delimitersproof 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:
{{EndTableau}}