Category:論理記号
自由変数と束縛変数
Free variables and bound variables無矛盾
Consistencyダウンタック記号
Tee (symbol)∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
↓
↓∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
論理定項
Logical constantロズンジ
部分構造論理
Substructural logicメタ変数
Metavariable否定記号
¬
論理的帰結
Logical consequence→
→