四种命题的真假关系