ENGLISH ▼

Mathematical Logic / Matematika Logiko - Lexicon

proposition

propono

predicate

predikato

quantifier

kvantigilo

tautology

taŭtologio

contradiction

kontraŭdiro

inference

inferenco

modality

modaleco

axiom

aksiomo

theorem

teoremo

proof

pruvo

model

modelo

consistency

konsistenco

completeness

tuteco

soundness

solideco

negation

neo

conjunction

konjunkcio

disjunction

disjunkcio

implication

implico

equivalence

ekvivalenteco

syntax

sintakso

semantics

semantiko

variable

variablo

function

funkcio

relation

rilato

domain

domajno

interpretation

interpreto

deduction

depreno

entailment

implico

logical connectives

logikaj konektiloj

predicate logic

predikata logiko

propositional logic

propozicia logiko

first-order

unuaorda

second-order

duaorda

model theory

modela teorio

proof theory

pruva teorio

set theory

aroteorio

formal system

formala sistemo

meta-theory

metateorio

decidability

decideblo

recursion

rikuro

fixed point

fiksa punkto

combinatorics

kombinatoriko

automaton

aŭtomato

computability

komputebleco

logic gate

logika pordego

Boolean algebra

Bulea algebro

normal form

normala formo

consequence

konsekvenco

consistency

konsistenco

refutation

refuto