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