古典命題論理の完全性定理
完全性定理，古典命題論理
A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 1.16