原命题为真,否命题为真
相关推荐