スマリヤン 数理論理学 述語論理と完全性定理

著者：Raymond Smullyan
監訳者：高橋昌一郎
訳者：村上祐子
発行所：丸善出版

---

p.145　“充足不可能でないらならば”→“充足不可能でないならば”