nativelib.net logo NativeLib en ENGLISH ▼

Mathematics Logic / Mathematical Logic - Lexicon

proposition
proposition
predicate
predicate
quantifier
quantifier
tautology
tautology
kupokana
contradiction
kufungidzira
inference
modality
modality
axiom
axiom
theorem
theorem
uchapupu
proof
model
model
kuwirirana
consistency
kukwana
completeness
kunaka
soundness
negation
negation
mubatanidzwa
conjunction
disjunction
disjunction
zvinoreva
implication
kuenzana
equivalence
syntax
syntax
semantics
semantics
variable
variable
basa
function
ukama
relation
domain
domain
dudziro
interpretation
kubviswa
deduction
entailment
entailment
zvine musoro zvinobatanidza
logical connectives
predicate logic
predicate logic
propositional logic
propositional logic
kutanga-odha
first-order
yechipiri-order
second-order
dzidziso yemuenzaniso
model theory
uchapupu dzidziso
proof theory
set theory
set theory
formal system
formal system
meta-dzidziso
meta-theory
decidability
decidability
recursion
recursion
fixed point
fixed point
combinatorics
combinatorics
automaton
automaton
computability
computability
logic gedhi
logic gate
Boolean algebra
Boolean algebra
normal form
normal form
mhedzisiro
consequence
kuwirirana
consistency
kuramba
refutation