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