Definition:Tableau

Disambiguation

This page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article.

Tableau may refer to:

• 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.

Also see

• Results about tableaux can be found here.