About us   |  Tutorials  |  Resources

Website designing Delhi
Software Development India

Email:sales@vannova.com  
Contact: 9891272590

logic

abduction; algebra; AND; axiom; Boolean; Boolean algebra; Charme; classical logic; clause; combinatory logic; complement; complete inference system; complete theory; Conjunctive Normal Form; converse; definite clause; definite sentence; DeMorgan's theorem; equational logic; exclusive or; first-order logic; Gottlob Frege; Horn clause; iff; 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 set; NOT; OR; paraconsistent probability; paradox; predicate logic; proof; proof theory; proposition; propositional logic; quantifier; resolution; sentence; SLD resolution; sound; symbolic logic; tautological probability; tautological set; tautology; temporal logic; truth table; two-valued logic; Universal algebra;