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