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:
Subcategories
This category has the following 2 subcategories, out of 2 total.
S
Media in category "Semantic tables"
The following 6 files are in this category, out of 6 total.
-
Non-closed propositional tableau.svg 189 × 270; 23 KB
-
Partially built tableau-1-.svg 288 × 342; 25 KB
-
Prop-tableau-1.svg 90 × 108; 12 KB
-
Prop-tableau-2.svg 90 × 234; 18 KB
-
Prop-tableau-3.svg 162 × 297; 22 KB
-
Prop-tableau-4.svg 162 × 297; 22 KB