
Re: Most theorems in Euclidean geometry are IFF theorems.
Posted:
Sep 4, 2013 5:43 AM


On Wednesday, September 4, 2013 12:18:49 AM UTC4, William Elliot wrote: > On Tue, 3 Sep 2013, Lite Beta wrote: > > > > > Is there a reason why most theorems in Euclidean geometry are IFF theorems? > > > > They are? My impresion what that most were constructive.
Which is a non sequitur. IFF means biimplication rather than implication not nonconstructive rather than constructive.

