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))總是具有相同的真值。
幫考網校
|

推薦視頻

推薦文章

  • 暫無文章