Logic

logic.spad line 1799 [edit on github]

‘Logic’ adds ‘not’ operation to lattices, Implements De Morgan's laws.

/\: (%, %) -> %

from MeetSemilattice

=: (%, %) -> Boolean

from BasicType

\/: (%, %) -> %

from JoinSemilattice

_|_: %

from BoundedJoinSemilattice

~=: (%, %) -> Boolean

from BasicType

~: % -> %

~(x) returns the logical complement of x.

coerce: % -> OutputForm

from CoercibleTo OutputForm

false: %

false is a logical constant.

latex: % -> String

from SetCategory

T: %

from BoundedMeetSemilattice

true: %

true is a logical constant.

BasicType

BoundedDistributiveLattice

BoundedJoinSemilattice

BoundedLattice

BoundedMeetSemilattice

CoercibleTo OutputForm

DistributiveLattice

JoinSemilattice

Lattice

MeetSemilattice

SetCategory