nativelib.net logo NativeLib en ENGLISH ▼

Mathematical Logic / Mantîqa Matematîkî - Lexicon

proposition
rêvename
predicate
pêvek
quantifier
hejmarker
tautology
tautolojî
contradiction
naqok
inference
texmîn
modality
awayê
axiom
aksîyom
theorem
teorema
proof
delîl
model
cins
consistency
yekrengî
completeness
temambûn
soundness
saxlemî
negation
înkarkirin
conjunction
girêdan
disjunction
veqetandin
implication
îma
equivalence
wekhevî
syntax
rêziman
semantics
semantîk
variable
têgûherr
function
karkirin
relation
meriv
domain
domain
interpretation
jêfêhmî
deduction
jêderxistinî
entailment
pêwendiyê
logical connectives
girêdanên mantiqî
predicate logic
mantiqa pêşgotinê
propositional logic
mantiqa pêşniyarî
first-order
rêza yekem
second-order
rêza duyemîn
model theory
teoriya modelê
proof theory
teoriya îspatê
set theory
teoriya komê
formal system
sîstema fermî
meta-theory
meta-teorî
decidability
biryardayîn
recursion
paşveçûn
fixed point
xala sabît
combinatorics
kombînatorîk
automaton
otomat
computability
hesabkirinî
logic gate
deriyê mentiqê
Boolean algebra
Cebira Boolean
normal form
forma normal
consequence
paşî
consistency
yekrengî
refutation
redkirin