Category:Semantic tables

From Wikimedia Commons, the free media repository
Jump to: navigation, search
 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:

w:File:Partially built tableau.svg
w:File:Search tree of tableau space.svg

Subcategories

This category has the following 2 subcategories, out of 2 total.

Media in category "Semantic tables"

The following 6 files are in this category, out of 6 total.