Home > Electronics Tutorials > Online Computer Terms Dictionary

Online Computer Terms Dictionary

logic

Related entries include:

abduction
algebra
AND
axiom
Boolean
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 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

 


Discover

     more......