ENGLISH ▼

Mathematical Logic → Математическая логика: Lexicon

proposition

predicate

quantifier

tautology

contradiction

inference

modality

axiom

theorem

proof

model

consistency

completeness

soundness

negation

conjunction

disjunction

implication

equivalence

syntax

semantics

variable

function

relation

domain

interpretation

deduction

entailment

logical connectives

predicate logic

propositional logic

first-order

second-order

model theory

proof theory

set theory

formal system

meta-theory

decidability

recursion

fixed point

combinatorics

automaton

computability

logic gate

Boolean algebra

normal form

consequence

consistency

refutation