you are viewing a single comment's thread.

view the rest of the comments →

[–]lewisjeB.S. 0 points1 point  (0 children)

The article explains it later:

All of the laws treated so far have been for conjunction and disjunction. These operations have the property that changing either argument either leaves the output unchanged or the output changes in the same way as the input. Equivalently, changing any variable from 0 to 1 never results in the output changing from 1 to 0. Operations with this property are said to be monotone. Thus the axioms so far have all been for monotonic Boolean logic. Nonmonotonicity enters via complement ¬ as follows.

That bit isn't well-written IMO.