Similar to 存在汎化
存在例化
Existential instantiation
普遍汎化
Universal generalization普遍例化
Universal instantiation
0
0
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679
述語論理
Predicate logic一階述語論理
First-order logic
議論領域
Domain of discourse原子論理式
Atomic formula
高階述語論理
Higher-order logic
自由変数と束縛変数
Free variables and bound variables
アロンゾ・チャーチ
Alonzo Church
二階述語論理
Second-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
命題関数
Propositional function
メレオロジー
Mereology
量化
論理式 (数学)
Logical formula
数学
Mathematics▲1 trends