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