nativelib.net logo NativeLib en ENGLISH ▼

Matemaattinen logiikka / Mathematical Logic - Lexicon

ehdotus
proposition
predikaatti
predicate
kvanttori
quantifier
tautologia
tautology
ristiriita
contradiction
päättely
inference
modaliteetti
modality
aksiooma
axiom
lause
theorem
todiste
proof
malli
model
johdonmukaisuus
consistency
täydellisyys
completeness
vakaus
soundness
kieltäminen
negation
konjunktio
conjunction
disjunktio
disjunction
implisiittinen
implication
vastaavuus
equivalence
syntaksi
syntax
semantiikka
semantics
muuttuja
variable
toiminto
function
suhde
relation
verkkotunnus
domain
tulkinta
interpretation
vähennys
deduction
seuraamus
entailment
loogiset konnektiivit
logical connectives
predikaattilogiikka
predicate logic
ehdotuslogiikka
propositional logic
ensimmäisen asteen
first-order
toisen asteen
second-order
malliteoria
model theory
todistusteoria
proof theory
joukko-oppi
set theory
muodollinen järjestelmä
formal system
metateoria
meta-theory
päättävyys
decidability
rekursio
recursion
kiinteä piste
fixed point
kombinatoriikka
combinatorics
automaatti
automaton
laskettavuus
computability
logiikkaportti
logic gate
Boolen algebra
Boolean algebra
normaalimuoto
normal form
seuraus
consequence
johdonmukaisuus
consistency
kumoaminen
refutation