Similar to 全称記号
数量詞
Quantifier (linguistics)
任意
Arbitrariness
ゴットロープ・フレーゲ
Gottlob Fregeモンタギュー文法
Montague grammar
論理定項
Logical constant
論理演算
Logical connective
論理記号の一覧
List of logic symbols▼-1 trends
記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
キャレット
Caret
合同否定
シークエント計算
Sequent calculus
