Category:論理記号
全称記号
Universal quantification
否定論理和
Logical NOR
論理演算
Logical connective
キャレット
Caret
シークエント計算
Sequent calculus
矢印
Arrow (symbol)
合同記号
Triple bar
チルダ
Tilde
&
無矛盾
Consistency
否定論理積
Sheffer stroke
自由変数と束縛変数
Free variables and bound variables
否定記号
→
→
論理定項
Logical constant
論理的帰結
Logical consequence∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
