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
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
カントールの往復論法
Back-and-forth method
