Category:論理記号
数学記号の表
Glossary of mathematical symbols▲5 trends
論理記号の一覧
List of logic symbols▲1 trends
矢印
Arrow (symbol)
チルダ
Tilde▲1 trends
全称記号
Universal quantification
バーティカルバー
Vertical bar
否定論理和
Logical NOR
キャレット
Caret
アンパサンド
Ampersand
シークエント計算
Sequent calculus
合同記号
Triple bar
垂直記号
Up tack
否定記号
論理演算
Logical connective無矛盾
Consistency
否定論理積
Sheffer stroke
∵
論理的帰結
Logical consequence
自由変数と束縛変数
Free variables and bound variables↓
↓&
ロズンジ
論理定項
Logical constant→
→∃
ダウンタック記号
Tee (symbol)
記号論理の記号
⇔
