Category:論理記号
チルダ
Tilde▲1 trendsシークエント計算
Sequent calculus全称記号
Universal quantificationダウンタック記号
Tee (symbol)&
↓
↓無矛盾
Consistency∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
論理定項
Logical constant部分構造論理
Substructural logic→
→論理的帰結
Logical consequenceロズンジ