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