Changes

Logical graph (view source)

Revision as of 14:10, 29 April 2010

164 bytes added , 14:10, 29 April 2010

→‎Syllabus: standardize

Line 754: Line 754:

* [[Boolean function]]

* [[Boolean function]]

* [[Boolean-valued function]]

* [[Boolean-valued function]]

+

* [[Differential logic]]

{{col-break}}

{{col-break}}

* [[Logical graph]]

* [[Logical graph]]

−

* [[Logical matrix]]

* [[Minimal negation operator]]

* [[Minimal negation operator]]

+

* [[Multigrade operator]]

+

* [[Parametric operator]]

* [[Peirce's law]]

* [[Peirce's law]]

{{col-break}}

{{col-break}}

* [[Propositional calculus]]

* [[Propositional calculus]]

+

* [[Sole sufficient operator]]

* [[Truth table]]

* [[Truth table]]

* [[Universe of discourse]]

* [[Universe of discourse]]

Line 770: Line 773:

{{col-begin}}

{{col-begin}}

{{col-break}}

{{col-break}}

+

* [[Continuous predicate]]

+

* [[Hypostatic abstraction]]

* [[Logic of relatives]]

* [[Logic of relatives]]

+

* [[Logical matrix]]

+

{{col-break}}

* [[Relation (mathematics)|Relation]]

* [[Relation (mathematics)|Relation]]

* [[Relation composition]]

* [[Relation composition]]

−

~~{{col-break}}~~

* [[Relation construction]]

* [[Relation construction]]

* [[Relation reduction]]

* [[Relation reduction]]

+

{{col-break}}

* [[Relation theory]]

* [[Relation theory]]

−

~~{{col-break}}~~

* [[Relative term]]

* [[Relative term]]

* [[Sign relation]]

* [[Sign relation]]

12,080

edits

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