Am 09.02.2012 02:48, schrieb Sean Vig:
As a second note, when I asked Aaron about this or IRC, he mentioned it may
not be possible at all to have something with an attribute named None, as
would be the case for something like S.None going to BooleanNone. If this
is the case, could this be hacked in somehow (Aaron suggested possibly
working with __getattr__), or would it be better to name it something
different so this isn't an issue? If so, are there any suggestions for what
it should be called?
A quick scan of the English and German Wikipedia pages on three-valued
logic turned up a whole lot of different logic systems, with different
truth tables. The meaning of the third value could be things like:
- indeterminate/unknown
- irrelevant
- both
- neither
- nonsensical/paradox
Is "none"/"no value" the right terminology for the kind of logic that's
being discussed here?
What's the truth table - does it match an existing three-valued logic?
If yes, I'd take the terminology from there.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
