[理工] 107清大離散 WendyD PTT批踢踢實業坊

作者: WendyD (Wendy) 2020-01-09 12:12:59

請問這題解答是什麼？
a-b>=0 等同於 a>=b 等同於
那這個結果跟(Z+,<=)會不一樣嗎
https://i.imgur.com/4lNaQaX.jpg

作者: zuchang (chang) 2020-01-09 12:27:00

作者: mistel (Mistel) 2020-01-09 12:39:00

antisymmetric證法應該是假設aRb且bRa 證明a=b啊z大是倒過來證我看錯了

作者: zuchang (chang) 2020-01-09 12:50:00

我寫的有點隨性想到什麼直接寫而已抱歉OAO

作者: gash55025502 (白影弓) 2020-01-09 13:09:00

b是false吧取0 跟 1就是反例了

作者: zuchang (chang) 2020-01-09 13:29:00

0R1不行但1R0有啊不能算反例

作者: gash55025502 (白影弓) 2020-01-09 13:55:00

他不是要nonnegative even嗎

作者: jeremyyuan (阿元) 2020-01-09 13:57:00

b是 false

作者: zuchang (chang) 2020-01-09 15:20:00

啊沒看到偶數抱歉那b是錯的沒錯

作者: WendyD (Wendy) 2020-01-09 15:20:00

所以a是true，b是false？感謝以上大大

繼續閱讀