명제의 정의를 이용해서 설명좀 해주세요.