[理工] 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？感谢以上大大

继续阅读