아니면 contingency한 명제중에서 명제함수가 아닌경우좀 알려줄수있음?