semantic tableau

logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 13, 2026

Quick Summary

A semantic tableau is a method used in logic to determine the validity of arguments. It works by attempting to satisfy the premises of an argument while simultaneously satisfying the negation of its conclusion. If this effort fails, the argument is valid; if it succeeds, the argument is invalid.

This technique involves constructing a tree diagram. For propositional logic, disjunctions cause the tree to branch, with each branch representing one of the disjuncts. Negations of disjunctions lead to branches where the negations of both disjuncts are present. For predicate logic, rules for instantiating quantified formulas are also introduced. The method can be implemented using computer programs.12

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

2 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

formal logic
Semantic tableaux
Since the 1980s another technique for determining the validity of arguments in either PC or LPC has gained some popularity, owing both to its ease of learning and to its straightforward implementation by computer programs. Originally suggested by the Dutch logician Evert W.…
Read More
Since the 1980s another technique for determining the validity of arguments in either PC or LPC has gained some popularity, owing both to its ease of learning and to its straightforward implementation by computer programs. Originally suggested by the Dutch logician Evert W.…
Read More