Changes

Truth table (view source)

83 bytes removed , 23:14, 5 April 2010

Line 258: Line 258:

* [[Ampheck]]

−

* [[Boolean algebra]]

* [[Boolean domain]]

* [[Boolean function]]

* [[Boolean-valued function]]

−

* [[Entitative graph]]

−

* [[Existential graph]]

* [[Logical graph]]

+

* [[Minimal negation operator]]

−

* [[~~Minimal negation operator]]~~

+

* [[Peirce's law]]

−

* [[Monadic predicate calculus]]

* [[Propositional calculus]]

* [[Zeroth order logic]]

12,122

edits