[理工] 离散代书运算性质
楼主: joy7658x348 (joy7658x348) 2016-07-06 20:10:45
我看不太懂详解第二行
为什么它直接把～R拿掉了呢？可是好像没有这个性质啊 是不是有跳过ㄧ些步骤 谢谢各
位
作者: krusnoopy (push) 2016-07-06 20:42:00
因为他假设class is not boring 所以R恒为F，取反向恒为TR代表课无聊，题目假设说课不无聊所以R为F另外A->B如果A恒为T，那这个命题如果B是T那就是T，反之B是F就是F，所以这个命题可以变成B
楼主: joy7658x348 (joy7658x348) 2016-07-06 21:54:00
感谢k大的讲解
作者: krusnoopy (push) 2016-07-07 02:04:00
我觉得他一开始的^～R有点多余