Category:論理記号
矢印
Arrow (symbol)キャレット
Caretチルダ
Tilde∴
Therefore sign無矛盾
Consistency論理演算
Logical connective→
→自由変数と束縛変数
Free variables and bound variables∃
記号論理の記号
¬
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)ダウンタック記号
Tee (symbol)⊢
↓
↓ロズンジ