Propositional variable
article-link
What links here
Propositional formula
Horn-satisfiability
article-link
Belief revision
article-link
Formal equivalence checking
article-link
Method of analytic tableaux
article-link
Decidability (logic)
article-link
Default logic
article-link
Intermediate logic
article-link
Boolean function
article-link
Function problem
article-link
Counterfactual conditional
article-link
Well-formed formula
article-link
Horn clause
article-link
Wolfgang Haken
article-link
Propositional function
article-link
Relational algebra
article-link
Intuitionistic logic
article-link
Conjunctive normal form
article-link
Abductive reasoning
article-link
Natural deduction
article-link
Type theory
article-link
Propositional logic
article-link
Bertrand Russell
article-link
Automated theorem proving
article-link
Sentential formula
redirect