Category:Semantic tables
The article Semantic tables on Wikipedia projects: - (en) Method of analytic tableaux
- (de) Baumkalkül
- (fr) Méthode des tableaux
- (ja) タブローの方法
- (nl) Semantisch tableau
- (pt) Método dos Tableaux
The semantic tableau is a logic diagram, which shows a decision procedure for sentential and related logics, and a proof procedure for formulas of first-order logic.
Files in the english Wikipedia:
Category:Logic diagrams Category:Mathematical proof
