Category:論理記号
リテラル
Literal (computer programming)
否定論理和
Logical NOR
垂直記号
Up tack
論理的帰結
Logical consequence
自由変数と束縛変数
Free variables and bound variables無矛盾
Consistency
キャレット
Caret
シークエント計算
Sequent calculus
アンパサンド
Ampersand
合同記号
Triple bar
バーティカルバー
Vertical bar
∴
Therefore sign
全称記号
Universal quantification
矢印
Arrow (symbol)
論理演算
Logical connective
チルダ
Tilde
論理記号の一覧
List of logic symbols▼-1 trends
数学記号の表
Glossary of mathematical symbols▼-2 trends
