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