Absorption law Clause (logic) Deductive closure Entailment Formation rule Functional completeness Intermediate logic Literal (mathematical logic) Logical connective Logical consequence Negation normal form Open sentence Propositional calculus Propositional formula Propositional variable Rule of inference Strict conditional Substitution instance Truth table Zeroth-order logic