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