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

where:

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.


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

{{EndTableau}}