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