Category:論理記号
論理的帰結
Logical consequence
¬
全称記号
Universal quantification
否定論理積
Sheffer stroke
自由変数と束縛変数
Free variables and bound variables
キャレット
Caret
リテラル
Literal (computer programming)
否定記号
メタ変数
Metavariable∵
∴
Therefore sign
論理演算
Logical connective
バーティカルバー
Vertical bar
合同記号
Triple bar
矢印
Arrow (symbol)
論理記号の一覧
List of logic symbols
アンパサンド
Ampersand▼-1 trends
数学記号の表
Glossary of mathematical symbols▼-3 trends