ASP 討論版

	昌爸工作坊論壇
\|─	如何證明 " ¬(x<y) is y≤x " and " ¬(x≤y) is y<x "(其中 ≤ is total orders and < is strict total orders)


回覆	搜尋	返回	管理

作者	標題: 如何證明 " ¬(x<y) is y≤x " and " ¬(x≤y) is y<x "(其中 ≤ is total orders and < is strict total orders)
youngstarrich IP Address: [ 220.135.182.157 ]	發表於: 2022/11/21 下午 09:35:16 已知：(1) ≤ is total orders (satisfy reflexive, anti-symmetric, transitive, and comparable) (2) < is strict total orders (satisfy irreflexive, transitive, and comparable) 由已知(1)與(2)，如何證明 "¬(x<y) is y≤x" and "¬(x≤y) is y<x"?