Category:論理記号
論理記号の一覧
List of logic symbols
合同記号
Triple bar
垂直記号
Up tack
∵
自由変数と束縛変数
Free variables and bound variables
シークエント計算
Sequent calculus
リテラル
Literal (computer programming)
論理的帰結
Logical consequence
論理演算
Logical connective↓
↓
ダウンタック記号
Tee (symbol)∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
論理定項
Logical constant¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
