nativelib.net logo NativeLib en ENGLISH ▼

Mathematical Logic / Te arorau pangarau - Lexicon

proposition
whakaaro
predicate
whakatauira
quantifier
inenga
tautology
tautology
contradiction
whakahē
inference
whakatau
modality
tikanga
axiom
axiom
theorem
ariā
proof
tohu
model
tauira
consistency
riterite
completeness
whakaotinga
soundness
te ora
negation
whakakorenga
conjunction
honotanga
disjunction
wehewehenga
implication
tikanga
equivalence
whakaōrite
syntax
wetereo
semantics
tohutoro
variable
taurangi
function
mahi
relation
whanaungatanga
domain
rohe
interpretation
whakamaoritanga
deduction
tangohanga
entailment
whakaurunga
logical connectives
hononga arorau
predicate logic
arorau tohu
propositional logic
arorau whakaaro
first-order
ota tuatahi
second-order
ota tuarua
model theory
tauira ariā
proof theory
ariā tohu
set theory
whakatakoto ariā
formal system
pūnaha ōkawa
meta-theory
meta-ariari
decidability
te whakatau
recursion
whakamuri
fixed point
wāhi pūmau
combinatorics
whakakotahitanga
automaton
aunoa
computability
te tatau
logic gate
kuaha arorau
Boolean algebra
Taurangi Boolean
normal form
ahua noa
consequence
huanga
consistency
riterite
refutation
whakahē