Category:論理記号
論理演算
Logical connective
論理記号の一覧
List of logic symbols無矛盾
Consistency
矢印
Arrow (symbol)
否定論理積
Sheffer stroke
否定記号
合同記号
Triple bar
∴
Therefore sign
部分構造論理
Substructural logic∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
→
→
リテラル
Literal (computer programming)
論理定項
Logical constant
