Similar to 部分構造論理
合同否定
自由変数と束縛変数
Free variables and bound variables垂直記号
Up tack全称記号
Universal quantificationダイヤ (シンボル)
Diamonds (suit)ダウンタック記号
Tee (symbol)チルダ
Tildeバーティカルバー
Vertical bar否定記号
否定論理積
Sheffer stroke否定論理和
Logical NOR無矛盾
Consistencyメタ変数
Metavariable矢印
Arrow (symbol)リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence数理論理学
Mathematical logic一階述語論理
First-order logic意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem関係 (数学)
Finitary relation関係代数 (数学)
Relation algebra関係の合成
Composition of relations完全関係
Connected relation