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