Similar to 部分構造論理
論理演算
Logical connective
論理記号の一覧
List of logic symbols
記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
∴
Therefore sign∵
⊃
⊢
⊤
⊥
⊨
◊
アンパサンド
Ampersand外積 (曖昧さ回避)
キャレット
Caret
合同記号
Triple bar
合同否定
自由変数と束縛変数
Free variables and bound variables
垂直記号
Up tack
