Comments | saintsaint: (без темы)

saintsaint

Jun 05, 2006 01:24

(∃x)(Dx ∙ Hax ∙ Hsx ∙ (∀y)(Dy ⊃ y=x))

Dx: x is a Date
Hxy: x Has y
a, s: constants

Comments 5

harlequinfetus June 5 2006, 09:46:58 UTC

yes!@!!!!!

:] saintsaint June 5 2006, 15:18:23 UTC

can you see the quantifiers though? or just boxes?

Re: :] harlequinfetus June 11 2006, 20:09:18 UTC

I could see 'em! I was very excited!

unehepginagal June 5 2006, 13:38:11 UTC

haha. this is so awesome.

... awesomeismyname June 5 2006, 17:16:06 UTC

yay!