Similar to 自由変数と束縛変数
高階述語論理
Higher-order logic
存在汎化
Existential generalization
存在例化
Existential instantiation
アロンゾ・チャーチ
Alonzo Church
二階述語論理
Second-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
普遍汎化
Universal generalization普遍例化
Universal instantiation
命題関数
Propositional function
メレオロジー
Mereology
量化
論理式 (数学)
Logical formula
数学記号の表
Glossary of mathematical symbols▼-2 trends
論理定項
Logical constant
論理演算
Logical connective
記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
∴
Therefore sign∵