Category:論理記号
数学記号の表
Glossary of mathematical symbols▲3 trends
論理記号の一覧
List of logic symbols▲1 trends
キャレット
Caret
合同記号
Triple bar
否定論理和
Logical NOR
否定記号
シークエント計算
Sequent calculus
否定論理積
Sheffer stroke
∵
自由変数と束縛変数
Free variables and bound variables∴
Therefore sign
論理的帰結
Logical consequence
垂直記号
Up tack
部分構造論理
Substructural logic無矛盾
Consistency
バーティカルバー
Vertical bar
リテラル
Literal (computer programming)∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
