Talk:Converse Hinge Theorem

From ProofWiki
Jump to navigation Jump to search

Should we link to Trichotomy Law on the $\not > \implies < or =$ step? --Cynic (talk) 05:04, 17 March 2010 (UTC)

Could do, even though Euclid himself had not conceived of this. He didn't delve too deeply into relation theory. Mind, it would not be out of place, perhaps make a comment in the Trichotomy page to indicate that it's sort of a "taken for granted" property in Euclid etc. I'm not familiar enough with the details here, unfortunately, without a lot of research. --Prime.mover 06:34, 17 March 2010 (UTC)