十佳青年 发表于 2010-12-22 22:01
A与A至少一样好的对立假设是A不如A好,即AA或A=A不成立),那么就应该有AA成立),所以就会有A>A或A=A成立,即A与A至少一样好,这与假设矛盾!因此A与A至少一样好。
这个证明逻辑上有些问题。
"≻"的定义并不是天然的,而是由"≿"来定义的:
x≻
y,等价于,
x≿
y成立且
y≿
x不成立。
这样,
a≻
a,等价于,
a≿
a既成立又不成立(这本身是内在矛盾的,不可能存在这样的关系。或者说,由"≻"的定义即可推出
a≻
a不成立)。
简单说,"
a≿
a"的对立假设应该是"
a≿
a不成立",而非“
a≿
a既成立又不成立”。