Category:論理記号
バーティカルバー
Vertical bar
キャレット
Caret
自由変数と束縛変数
Free variables and bound variables
矢印
Arrow (symbol)
論理的帰結
Logical consequence
アンパサンド
Ampersand
リテラル
Literal (computer programming)
&
ダウンタック記号
Tee (symbol)↓
↓
否定論理積
Sheffer stroke
部分構造論理
Substructural logic
論理定項
Logical constant∃
→
→
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
