四种命题有答案