一个简单命题的应用
일개간단명제적응용