2
işlem opération operation
n-konumlu n-aire n-ary
formül formule formula
bölünemeyen atomique atomic
tümelevetleme conjonction conjunction
tikelevetleme disjonction disjunction
değisleme négation negation
serbest libre free
niceleme quantificateur quantifier
evrensel universel universal
varlıksal existentiel existential
birinci derece premier ordre first order
cümle phrase, énoncé sentence
doğru vrai, satisfait true, satisfied
yanlış faux false
denk équivalent equivalent
mantık logique logic
olumlu positif positive
değislemesiz sans négation negation-free
morfizm morphisme morphism
saf pur pure
ovk pec
maksımal maximal