Line 183:
Line 183:
{{col-break}}
{{col-break}}
* [http://www.netknowledge.org/wiki/Peirce's_law Peirce's Law @ NetKnowledge]
* [http://www.netknowledge.org/wiki/Peirce's_law Peirce's Law @ NetKnowledge]
+
{{col-end}}
+
+
===Logical operators===
+
+
{{col-begin}}
+
{{col-break}}
+
* [[Exclusive disjunction]]
+
* [[Logical conjunction]]
+
* [[Logical disjunction]]
+
* [[Logical equality]]
+
{{col-break}}
+
* [[Logical implication]]
+
* [[Logical NAND]]
+
* [[Logical NNOR]]
+
* [[Logical negation|Negation]]
{{col-end}}
{{col-end}}
Line 193:
Line 208:
* [[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]]
* [[Zeroth order logic]]
* [[Zeroth order logic]]
+
{{col-end}}
+
+
===Relational concepts===
+
+
{{col-begin}}
+
{{col-break}}
+
* [[Continuous predicate]]
+
* [[Hypostatic abstraction]]
+
* [[Logic of relatives]]
+
* [[Logical matrix]]
+
{{col-break}}
+
* [[Relation (mathematics)|Relation]]
+
* [[Relation composition]]
+
* [[Relation construction]]
+
* [[Relation reduction]]
+
{{col-break}}
+
* [[Relation theory]]
+
* [[Relative term]]
+
* [[Sign relation]]
+
* [[Triadic relation]]
{{col-end}}
{{col-end}}