trufun202 wrote:We start with gaming, but it always ends with sex. Come to think of it...that sounds like a perfect evening!
AxAy[ ( BelongsTo(ElysianShadows, y) ^ IsIn(y, x) ^ InvolvesSex(x) ) <-> HasPostBy(Falco, x, y)]
Where x is in the domain of all threads and y is in the domain of all forums and and "HasPostBy(a, b, c)" is read "b has a post by a in c."
For all threads (x) in all forums (y), if the forum belongs to elysian shadows and the thread is in said forum, then the thread involves sex if and only if the thread is in a forum and has a post by falco.
If and only if presents that the converse is true:
For all threads x in all forums y, then a thread in a forum has a post by falco if and only if the forum belongs to elysian shadows and the thread is in the forum and the thread invovles sex.
Isn't that cool? I managed to apply college to real life!