MBA考试
报考指南考试报名准考证打印成绩查询考试题库

重置密码成功

请谨慎保管和记忆你的密码,以免泄露和丢失

注册成功

请谨慎保管和记忆你的密码,以免泄露和丢失

性质命题的否定等值是指什么?

帮考网校2020-05-14 17:14:54
|
性质命题的否定等值是指,将一个性质命题取反后得到的命题与原命题的否定构成的复合命题,它们的真值总是相等的。例如,命题“所有猫都有尾巴”可以表示为∀x(Cat(x)→HasTail(x)),它的否定为∃x(Cat(x)∧¬HasTail(x)),而取反后得到的命题为∃x(Cat(x)∧¬HasTail(x))→¬∀x(Cat(x)→HasTail(x)),这个复合命题与原命题的否定∃x(Cat(x)∧¬HasTail(x))总是具有相同的真值。
帮考网校
|

推荐视频

推荐文章

  • 暂无文章