• Contents
• Atomaarne valem, aatom (atom, atomic formula)
• Abduktsioon (abduction)
• Abeli rühm (Abelian group)
• Aksiomatiseeritav teooria (axiomatic theory)
• Aksioom (axiom)
• Algebra (algebra)
• Algebra baas (base of algebra)
• Algebraline süsteem (algebraic system, structure)
• Algebralise süsteemi kandja (carrier of algebraic system)
• Arvutus (calculus)
• Assotsiatiivne tehe (associative operator)
• Boole'i algebra (Boolean algebra)
• Deduktiivselt võrdsed valemid (deductivly equal formulae)
• Deduktsioon (deduction, deductive derivation )
• Disjunkt (Disjunct)
• Disjunktsioon (disjunction)
• Distributiivsus (distributivity)
• Eitus (negation)
• Eksistentsikvantor ( existential quantifier)
• Formaalne teooria (formal theory)
• Funktsioon (function, function symbol)
• Herbrand'i arendused (Herbrand expansion)
• Herbrand'i universum (Herbrand universe)
• Homomorfism (homomorphism)
• Horni lause (Horn clause)
• Implikatsioon (implication)
• Induktsioon (induction, inductive derivation)
• Interpretatsioon (interpretation)
• Intuitsionistlik loogika (intuitionistic logic)
• Isomorfism (isomorphism)
• Kehtestatav valem (satisfiable formula)
• Kommutatiivne tehe (commutative operator)
• Konjunktsioon (conjunction)
• Konstant (constant value, constant symbol)
• Korpus (corpus, field)
• Kujutus (mapping)
• Kvantor (quantifier)
• Lausearvutus (propositional calculus)
• Lemma (lemma)
• Literaal (literal)
• Loogiline ruut (logical quadrate)
• Lõikereegel (cut rule)
• Mittevasturääkivus (soundness)
• Modaalarvutus (modal logic calculus)
• Modaalsus (modality)
• Modus ponens
• Modus tollens
• Morfism (morphism)
• Mudel (model)
• Muutuja (variable)
• Poolrühm (semi-group)
• Predikaat (predicate, predicate symbol)
• Predikaatarvutus (predicate calculus)
• Programmide dünaamiline loogika (dynamic semantics of programs)
• Programmide süntees (synthesis of programs)
• Prolog
• Resolutsioonireegel (resolution)
• Ring (ring)
• Rühm (group)
• Sekvents, sekventsioon (sequent)
• Seotud muutuja (bound variable)
• Signatuur (signature)
• Skolemi funktsioond (Skolem function symbols)
• Skolemiseerimine (Skolemization)
• Süllogism (syllogism)
• Süllogismi moodused (modus of syllogism)
• Temporaalloogika (temporal logic)
• Teooria (theory)
• Teooria täielikkus (completeness of theory)
• Teoreem (theorem)
• Term (term)
• Tuletus (inference derivation)
• Tuletuspuu (derivation tree, proof tree)
• Tuletusreegel (rule of inference, rule of derivation)
• Tõene valem (true formula)
• Unifikaator (unifier)
• Vaba muutuja ( free variable)
• Valem (formula)
• Valemi disjunktiivne normaalkuju (disjunctive normal form of formula)
• Valemi konjunktiivne normaalkuju (conjunctive normal form of formula)
• Valemite realiseeritavus (realisation of formula)
• Võre (lattice)
• Väär valem (false formula)
• Üldisim unifikaator (most general unifier)
• Üldkehtestatav valem (valid formula)
• Üldsuskvantor (universal quantifier)
• About this document ...