Category:論理記号
垂直記号
Up tack
&
∴
Therefore sign
シークエント計算
Sequent calculus
否定論理積
Sheffer stroke
リテラル
Literal (computer programming)
キャレット
Caret∵
合同記号
Triple bar
否定論理和
Logical NOR
全称記号
Universal quantification
チルダ
Tilde
論理演算
Logical connective
矢印
Arrow (symbol)
アンパサンド
Ampersand
バーティカルバー
Vertical bar
論理記号の一覧
List of logic symbols
数学記号の表
Glossary of mathematical symbols▼-3 trends