Similar to 記号論理の記号
数学記号の表
Glossary of mathematical symbols▲2 trends論理定項
Logical constant論理演算
Logical connective論理記号の一覧
List of logic symbols&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
∴
Therefore sign∵
⊃
⊢
⊤
⊥
⊨
◊
アンパサンド
Ampersand外積 (曖昧さ回避)
キャレット
Caret合同記号
Triple bar合同否定
シークエント計算
Sequent calculus