古典命題論理のコンパクト性定理
古典命題論理
,
コンパクト性定理
A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 1.19