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