On Fri, 2009-08-28 at 16:52 +0100, ais523 wrote: > On Fri, 2009-08-28 at 09:45 -0600, Roger Hicks wrote: > > I don't see the equivalence. (If X then Y) implies (if X then Y else > > (not Y)) which is why it seems broken to me. > Err, no it doesn't. > > "If X then Y" implies nothing about the truth value of Y if X turns out > to be true.
That should read: > "If X then Y" implies nothing about the truth value of Y if X turns > out to be true. Sorry for the typo! -- ais523
