Category:論理記号
数学記号の表
Glossary of mathematical symbols▲2 trends
論理記号の一覧
List of logic symbols▲1 trends
合同記号
Triple bar
否定論理和
Logical NOR
→
→
チルダ
Tilde
バーティカルバー
Vertical bar無矛盾
Consistency
アンパサンド
Ampersand
自由変数と束縛変数
Free variables and bound variables&
矢印
Arrow (symbol)
否定論理積
Sheffer stroke
リテラル
Literal (computer programming)
論理演算
Logical connective
論理的帰結
Logical consequence
ダウンタック記号
Tee (symbol)↓
↓
キャレット
Caret
論理定項
Logical constant∃
垂直記号
Up tack
記号論理の記号
⇔
∧
∨
⊃
⊤
