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


Lite Beta wrote: > Is there a reason why most theorems in Euclidean geometry are IFF theorems?
Here is an uninteresting and unsatisfying fact:
(if A then B) iff ((A & B) iff A),
so, to every ifthen statement corresponds an iff statement of equal truth value.
 Sorrow in all lands, and grievous omens. Great anger in the dragon of the hills, And silent now the earth's green oracles That will not speak again of innocence. David Sutton  Geomancies

