The set of all laws that instances of Noncontradiction
must satisfy.
The set of all laws that instances of Noncontradiction
must satisfy.
The non-contradiction law states that for the meet operator ^^^
, the bottom element
0, complement operator
!
and for any value
a, the following must hold:
The non-contradiction law states that for the meet operator ^^^
, the bottom element
0, complement operator
!
and for any value
a, the following must hold:
!a ^^^ a === 0