The excluded middle law states that for the join operator vvv
, the top element 1
, complement operator !
and for any value a
, the following must hold:
The excluded middle law states that for the join operator vvv
, the top element 1
, complement operator !
and for any value a
, the following must hold:
!a vvv a === 1
The set of all laws that instances of ExcludedMiddle
must satisfy.
The set of all laws that instances of ExcludedMiddle
must satisfy.