Category:論理記号
数学記号の表
Glossary of mathematical symbols▲1 trends合同記号
Triple bar垂直記号
Up tack否定記号
&
否定論理積
Sheffer stroke→
→無矛盾
Consistency↓
↓論理定項
Logical constant矢印
Arrow (symbol)∃
否定論理和
Logical NOR部分構造論理
Substructural logic記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
シークエント計算
Sequent calculus