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