| AND | Boolean | Boolean algebra | Charme | Conjunctive Normal Form |
| DeMorgan's theorem | Gottlob Frege | Horn clause | Lambada-Calculus | NAND |
| NOT | OR | SLD resolution | Universal algebra | abduction |
| algebra | axiom | classical logic | clause | combinatory logic |
| complement | complete inference system | complete theory | converse | definite clause |
| definite sentence | equational logic | exclusive or | first-order logic | iff |
| implies | induction | inference | inference rule | intuitionistic logic |
| intuitionistic probability | lemma | logical complement | modal logic | most general unifier |
| natural deduction | neutrosophic logic | neutrosophic probability | neutrosophic set | paraconsistent probability |
| paradox | predicate logic | proof | proof theory | proposition |
| propositional logic | quantifier | sentence | sum of products | symbolic logic |
| tautological probability | tautological set | tautology | temporal logic | truth table |
| two-valued logic | | | | |
