From: Todd Benson Date: 2008-07-05T09:29:29+09:00 Subject: Re: Ranges and Enumerable problems On Thu, Jul 3, 2008 at 6:48 AM, Rick DeNatale wrote: > On Thu, Jul 3, 2008 at 5:23 AM, Robert Klemme > wrote: >> > Okay, that may have been a major faux pas on my part :-) >> >> It is. :-) not (for all e: X(e)) <=> (there is at least one e: not X(e)) >> >> Yep, I remember getting A's in my logic courses. I vaguely remembered this > as being related to De Morgan's laws in Boolean algebra, and Wikipedia seems > to agree http://en.wikipedia.org/wiki/De_Morgan%27s_laws#Further_explanation > > -- > Rick DeNatale Okay, you made your point, but you don't have to rub it in... (crosses arms and says "hmppph" [picture a little girl here] :) I don't know why, but when I first looked at it, I had a gut feeling there was something wrong with Rick's statement. Then, I realized my mistake. Darn it! Todd