more....
abduction algebraAND axiomBoolean Boolean algebra Charme classical logic clause complement complete inference system complete theory Conjunctive Normal Form converse definite clause definite sentence DeMorgan's theorem equational logic first-order logic Gottlob Frege Horn clauseiff implies induction inference inference rule intuitionistic logic intuitionistic probability Lambada-Calculus lemma logical complement modal logic most general unifier natural deduction neutrosophic logic neutrosophic probability neutrosophic setNOT OR paraconsistent probability paradox predicate logic proofproof theory proposition propositional logic quantifier resolution sentence SLD resolutionsound symbolic logic tautological probability tautological set tautology temporal logic truth table two-valued logic Universal algebra
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)
