of course, trust(I,I) ~ 0
U is undefined. Not familiar with the construct "say". :) Obviously, some rare visitors aren't familiar with the conventions & language of the mmm-land. :P
U is universesay --> is what it says .. "I am a dog" translates into say(I,dog)
isnt I=\phi in ur construct or atleast it seems a pessimistic(negative?!) construct?i thotI = union_x say(I,x) && I = U - union_x say(I,!x) would be a better definition of I. Of course trust(I,I) ~ 0 still holds.
Post a Comment
5 comments:
of course, trust(I,I) ~ 0
U is undefined. Not familiar with the construct "say". :)
Obviously, some rare visitors aren't familiar with the conventions & language of the mmm-land. :P
U is universe
say --> is what it says .. "I am a dog" translates into say(I,dog)
isnt I=\phi in ur construct or atleast it seems a pessimistic(negative?!) construct?
i thot
I = union_x say(I,x) && I = U - union_x say(I,!x) would be a better definition of I. Of course trust(I,I) ~ 0 still holds.
Post a Comment