Category:論理記号
数学記号の表
Glossary of mathematical symbols▲3 trends
アンパサンド
Ampersand▲1 trends
チルダ
Tilde
矢印
Arrow (symbol)
∵
論理記号の一覧
List of logic symbols
論理演算
Logical connective∴
Therefore sign
自由変数と束縛変数
Free variables and bound variables
メタ変数
Metavariable
キャレット
Caret
合同記号
Triple bar
垂直記号
Up tack
リテラル
Literal (computer programming)
否定記号
シークエント計算
Sequent calculus
論理的帰結
Logical consequence∃
ダウンタック記号
Tee (symbol)→
→
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨