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