User:Dj algorithm/Books/Logic Terms


 * Aleph number
 * Domain of discourse
 * First-order logic
 * Propositional calculus
 * Logical connective
 * Proposition
 * Rule of inference
 * Zeroth-order logic
 * Axiomatic system
 * Syllogism
 * Deductive reasoning
 * Inductive reasoning
 * Abductive reasoning
 * Many-valued logic
 * Dempster–Shafer theory
 * Probability
 * Bayes' rule
 * Closed-world assumption
 * Open-world assumption
 * Elementary event
 * Sample space
 * Measure (mathematics)
 * Sigma additivity
 * Algebra of sets
 * Quasiprobability distribution
 * Andrey Kolmogorov
 * Probability distribution