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