LOGIC

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