Changes

Zeroth order logic (view source)

158 bytes removed , 01:58, 4 April 2010

Line 112: Line 112:

* [[Ampheck]]

* [[Boolean algebra]]

−

* [[Boolean algebra topics]]

* [[Boolean domain]]

* [[Boolean function]]

−

* [[Boolean logic]]

* [[Boolean-valued function]]

* [[Entitative graph]]

* [[Existential graph]]

−

* [[First order logic]]

−

* [[Indicator function]]

* [[Logical graph]]

−

* [[Logical value]]

* [[Minimal negation operator]]

* [[Monadic predicate calculus]]

−

* [[Operation (mathematics)|Operation]]

* [[Propositional calculus]]

* [[Truth table]]

12,122

edits