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