Changes

Minimal negation operator (view source)

78 bytes added , 03:17, 29 April 2010

Line 356: Line 356:

* [[Boolean function]]

* [[Boolean-valued function]]

+

* [[Differential logic]]

−

* [[Continuous predicate]]

* [[Logical graph]]

+

* [[Minimal negation operator]]

* [[Multigrade operator]]

* [[Parametric operator]]

+

* [[Peirce's law]]

+

* [[Propositional calculus]]

* [[Sole sufficient operator]]

* [[Truth table]]

12,080

edits