Category:論理記号
数学記号の表
Glossary of mathematical symbols▲3 trends論理記号の一覧
List of logic symbols▲1 trendsチルダ
Tilde▲1 trends論理演算
Logical connective否定論理積
Sheffer stroke矢印
Arrow (symbol)シークエント計算
Sequent calculusバーティカルバー
Vertical bar否定論理和
Logical NOR垂直記号
Up tack全称記号
Universal quantification∴
Therefore signアンパサンド
Ampersand否定記号
自由変数と束縛変数
Free variables and bound variables合同記号
Triple barダウンタック記号
Tee (symbol)↓
↓∃
論理的帰結
Logical consequenceロズンジ
部分構造論理
Substructural logic記号論理の記号
¬
⇔
∧
∨
⊃