[理工] 離散代書運算性質

作者: joy7658x348 (joy7658x348)   2016-07-06 20:10:45
http://i.imgur.com/qKtNKLx.jpg
我看不太懂詳解第二行
為什麼它直接把~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有點多餘

Links booklink

Contact Us: admin [ a t ] ucptt.com