エルブランの定理
Herbrand's theorem
1930年にJacques Herbrandが発表
述語論理の充足不能性を、命題論理の充足不能性に還元する
https://ja.wikipedia.org/wiki/エルブランの定理
/mrsekut-book-4007305803/066
/mrsekut-book-4007305803/071