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