Category:論理記号
数学記号の表
Glossary of mathematical symbols▲4 trends
論理記号の一覧
List of logic symbols▲1 trends
チルダ
Tilde
全称記号
Universal quantification
論理演算
Logical connective
合同記号
Triple bar
キャレット
Caret
否定記号
シークエント計算
Sequent calculus
リテラル
Literal (computer programming)
自由変数と束縛変数
Free variables and bound variables
否定論理積
Sheffer stroke
∴
Therefore sign
否定論理和
Logical NOR
垂直記号
Up tack∵
↓
↓
矢印
Arrow (symbol)∃
→
→
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨