Category:論理記号
数学記号の表
Glossary of mathematical symbols▲6 trends論理記号の一覧
List of logic symbols▲2 trends合同記号
Triple bar論理演算
Logical connective全称記号
Universal quantification否定記号
否定論理和
Logical NORキャレット
Caretリテラル
Literal (computer programming)自由変数と束縛変数
Free variables and bound variables無矛盾
Consistency&
シークエント計算
Sequent calculus否定論理積
Sheffer stroke垂直記号
Up tack論理的帰結
Logical consequenceアンパサンド
Ampersand論理定項
Logical constant→
→∵
ロズンジ
∃
部分構造論理
Substructural logic記号論理の記号
¬
⇔
∧
∨