昌爸工作坊論壇
版主：
昌爸
回覆主題：如何證明 " ¬(x
已知：(1) ≤ is total orders (satisfy reflexive, anti-symmetric, transitive, and comparable) (2) < is strict total orders (satisfy irreflexive, transitive, and comparable) 由已知(1)與(2)，如何證明 "¬(x
討論內容：
姓 名
email
留 言
上一頁