Methode der Wahrheitstabellen

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine semantische, brutale Methode für propositionale Formeln, die alle möglichen Wahrheitswertzuweisungen zu atomaren Aussagen aufzählt und die Formel unter jeder Zuweisung auswertet, um Gültigkeit, Erfüllbarkeit oder Äquivalenz zu bestimmen.