semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
consistency
logic
propositional-logic
validity
tautology
consistency-checking
propositional-proof-system
semantic-table-interpretation
tautology-checking
semantic-tableau
-
Updated
Oct 2, 2018 - C++