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