Similar to 存在汎化
存在例化
Existential instantiation普遍汎化
Universal generalization普遍例化
Universal instantiation0
01
1▲6 trends2
23
34
45
56
67
78
89
912345679
述語論理
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