Her er en oversikt over viktige begreper i kurset og de tilsvarende engelske uttrykkene.
aksiom = axiom
aktiv formel = active formula
atom?rt = atomic
bevis = proof
bevisbar = provable
bijektiv funksjon = bijection (bijective function)
bin?r = binary
boolsk valuasjon = boolean valuation
delmengde = subset
ekstraformler = extra formulas
endelig = finite
falsifiserer/falsifiserbar = falsifies/falsifiable
formel = formula
funksjon = function
gyldig = valid
hovedformel = main formula
induktiv/induksjon = inductive/induction
injektiv funksjon = injection (injective function)
kardinalitet = cardinality
kompletthet = completeness
konklusjon = conclusion
konnektiv = connective
kryssprodukt = cross product (Cartesian product)
l?vsekvent = leaf sequent
mengde = set
mengdedifferanse = set difference
motmodell = countermodel
motsigelse = contradiction
multimengde = multiset
oppfyller/oppfyllbar = satisfies/satisfiable
refleksiv = reflexive
relasjon = relation
rotsekvent = root sequent
sann = true
sannhetsverdi = truth value
sannhetsverditabell = truth table
sekvent = sequent
sekventkalkyle = sequent calculus
semantikk = semantics
slutning = inference
snitt = intersection
strukturell induksjon = structural induction
sunnhet = soundness
surjektiv funksjon = surjection (surjective function)
symmetrisk = symmetric
syntaks = syntax
tautologi = tautology
tellbar = countable
tomme mengde = empty set
transitiv = transitive
uendelig = infinite
union = union
un?r = unary
usann = false
utledning = derivation
utsagnslogikk = propositional logic