On 21/03/17 03:21, oldk1331 wrote:
T and _|_ is exported from category Logic and domain
Boolean, are they intended to be used by user?
(1) -> T()$Boolean
The function T is not implemented in Boolean .
(1) -> __|__()$Boolean
The function _ is not implemented in Boolean .
In ILogic T and _|_ are required as top and bottom of lattice.
In Boolean I guess they should give true and false?
I think its only when logic becomes algebraised (when we have symbols
for logical variables) that we need to make a distinction between
top/bottom and true/false.
Martin B
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
