명제가 어떻게 나왔는지 궁금해서