Category:Tableaux
Jump to navigation
Jump to search
This category contains results about Tableaux.
Definitions specific to this category can be found in Definitions/Tableaux.
- Linear programming:
- Tableau: a technique for presenting information obtained by an iterative process during the course of using the simplex method.
- Formal systems:
- Tableau proof: a technique for presenting a logical argument in the form of a formal proof in a straightforward, standard form.
- Propositional logic:
- Propositional tableau: an element of a specific subset of the labeled trees for propositional logic.
- Tableau proof: a tableau confutation of the negation of a WFF.
- Tableau confutation: a propositional tableau such that every branch is contradictory.
Subcategories
This category has only the following subcategory.