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