Similar to 恒真式
推論規則
Rule of inference
命題関数
Propositional function
議論領域
Domain of discourse
メレオロジー
Mereology
空虚な真
Vacuous truth▲1 trends
論理式 (数学)
Logical formula原子論理式
Atomic formula
定理
Theorem
命題
Proposition
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation
後者関数
Successor function
推論
Inference
中間論理
Intermediate logic
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica
補題
Lemma (mathematics)
有限モデル理論
Finite model theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
意味論 (論理学)
ゲーム意味論
Game semantics再帰的定義
Recursive definition