Similar to ダウンタック記号
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic
メタ変数
Metavariable
矢印
Arrow (symbol)
リテラル
Literal (computer programming)
ロズンジ
論理的帰結
Logical consequence
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
後者関数
Successor function
恒真式
Tautology (logic)
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm▼-1 trends
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inferenceスーダン関数
Sudan function
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic