nativelib.net logo NativeLib en ENGLISH ▼

Mathematical Logic / Masamu Logic - Lexicon

proposition
malingaliro
predicate
predicate
quantifier
quantifier
tautology
tautology
contradiction
kutsutsana
inference
kulingalira
modality
chikhalidwe
axiom
axiom
theorem
theorem
proof
umboni
model
chitsanzo
consistency
kusasinthasintha
completeness
kukwanira
soundness
zabwino
negation
kutsutsa
conjunction
cholumikizira
disjunction
kusokoneza
implication
tanthauzo
equivalence
kufanana
syntax
mawu ofotokozera
semantics
semantics
variable
kusintha
function
ntchito
relation
ubale
domain
domain
interpretation
kutanthauzira
deduction
kuchotsera
entailment
kufunika
logical connectives
zolumikizira zomveka
predicate logic
logic ya predicate
propositional logic
malingaliro amalingaliro
first-order
dongosolo loyamba
second-order
dongosolo lachiwiri
model theory
chiphunzitso chachitsanzo
proof theory
umboni chiphunzitso
set theory
khazikitsa chiphunzitso
formal system
dongosolo lokhazikika
meta-theory
chiphunzitso cha meta
decidability
kutsimikiza
recursion
kubwereranso
fixed point
mfundo yokhazikika
combinatorics
combinatorics
automaton
makina
computability
kukwanitsa
logic gate
logic gate
Boolean algebra
Algebra ya boolean
normal form
mawonekedwe abwinobwino
consequence
zotsatira
consistency
kusasinthasintha
refutation
kutsutsa