Similar to 垂直記号
記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
キャレット
Caret
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
ダウンタック記号
Tee (symbol)
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
