Semantische Tableaux

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein auf Widerlegung basierendes Beweisverfahren, das logische Formeln in einen Baum einfacher Komponenten (ein Tableau oder Truth-Tree) zerlegt, um Erfüllbarkeit zu prüfen; ein geschlossenes Tableau (alle Äste widersprüchlich) zeigt die Unerfüllbarkeit der Wurzelformel.