Changes

Minimal negation operator (view source)

Revision as of 03:17, 29 April 2010

78 bytes added , 03:17, 29 April 2010

→‎Related topics: trim

Line 356: Line 356:

* [[Boolean function]]

* [[Boolean function]]

* [[Boolean-valued function]]

* [[Boolean-valued function]]

+

* [[Differential logic]]

{{col-break}}

{{col-break}}

−

* [[Continuous predicate]]

* [[Logical graph]]

* [[Logical graph]]

+

* [[Minimal negation operator]]

* [[Multigrade operator]]

* [[Multigrade operator]]

* [[Parametric operator]]

* [[Parametric operator]]

+

* [[Peirce's law]]

{{col-break}}

{{col-break}}

+

* [[Propositional calculus]]

* [[Sole sufficient operator]]

* [[Sole sufficient operator]]

* [[Truth table]]

* [[Truth table]]

12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/116547"