[일반] 명제논리 컴팩트성 정리의 응용에 관하여 또 질문드립니다.

[바보(180.67)]

검토 여러 번해서 제 생각에는 맞는 것 같은데,

혹시 틀린 데 있는지 확인 부탁드려도 되나요?

읽어주셔서 감사합니다.