Line 1:
Line 1:
−
A '''logical matrix''', in the finite dimensional case, is a ''k''-dimensional [[array]] with entries from the [[boolean domain]] '''B''' = {0, 1}. Such a [[matrix]] affords a [[matrix representation]] of a ''k''-adic [[relation (mathematics)|relation]].
+
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
−
==See also==
+
A '''logical matrix''', in the finite dimensional case, is a <math>k\!</math>-dimensional array with entries from the [[boolean domain]] <math>\mathbb{B} = \{ 0,1 \}.</math> Such a matrix affords a matrix representation of a <math>k\!</math>-adic [[relation (mathematics)|relation]].
+
==Syllabus==
+
+
===Focal nodes===
+
+
* [[Inquiry Live]]
+
* [[Logic Live]]
+
+
===Peer nodes===
+
+
* [http://intersci.ss.uci.edu/wiki/index.php/Logical_matrix Logical Matrix @ InterSciWiki]
+
* [http://mywikibiz.com/Logical_matrix Logical Matrix @ MyWikiBiz]
+
* [http://ref.subwiki.org/wiki/Logical_matrix Logical Matrix @ Subject Wikis]
+
* [http://en.wikiversity.org/wiki/Logical_matrix Logical Matrix @ Wikiversity]
+
* [http://beta.wikiversity.org/wiki/Logical_matrix Logical Matrix @ Wikiversity Beta]
+
+
===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}}
+
+
===Related topics===
+
+
{{col-begin}}
+
{{col-break}}
+
* [[Ampheck]]
+
* [[Boolean domain]]
+
* [[Boolean function]]
+
* [[Boolean-valued function]]
+
* [[Differential logic]]
+
{{col-break}}
+
* [[Logical graph]]
+
* [[Minimal negation operator]]
+
* [[Multigrade operator]]
+
* [[Parametric operator]]
+
* [[Peirce's law]]
+
{{col-break}}
+
* [[Propositional calculus]]
+
* [[Sole sufficient operator]]
+
* [[Truth table]]
+
* [[Universe of discourse]]
+
* [[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 (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation composition]]
* [[Relation construction]]
* [[Relation construction]]
* [[Relation reduction]]
* [[Relation reduction]]
+
{{col-break}}
+
* [[Relation theory]]
+
* [[Relative term]]
+
* [[Sign relation]]
* [[Triadic relation]]
* [[Triadic relation]]
+
{{col-end}}
+
+
===Information, Inquiry===
+
+
{{col-begin}}
+
{{col-break}}
+
* [[Inquiry]]
+
* [[Dynamics of inquiry]]
+
{{col-break}}
+
* [[Semeiotic]]
+
* [[Logic of information]]
+
{{col-break}}
+
* [[Descriptive science]]
+
* [[Normative science]]
+
{{col-break}}
+
* [[Pragmatic maxim]]
+
* [[Truth theory]]
+
{{col-end}}
+
+
===Related articles===
+
+
{{col-begin}}
+
{{col-break}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
+
{{col-break}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
+
{{col-break}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
+
{{col-end}}
+
+
==Document history==
+
+
Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
+
+
* [http://intersci.ss.uci.edu/wiki/index.php/Logical_matrix Logical Matrix], [http://intersci.ss.uci.edu/ InterSciWiki]
+
* [http://mywikibiz.com/Logical_matrix Logical Matrix], [http://mywikibiz.com/ MyWikiBiz]
+
* [http://planetmath.org/LogicalMatrix Logical Matrix], [http://planetmath.org/ PlanetMath]
+
* [http://wikinfo.org/w/index.php/Logical_matrix Logical Matrix], [http://wikinfo.org/w/ Wikinfo]
+
* [http://en.wikiversity.org/wiki/Logical_matrix Logical Matrix], [http://en.wikiversity.org/ Wikiversity]
+
* [http://beta.wikiversity.org/wiki/Logical_matrix Logical Matrix], [http://beta.wikiversity.org/ Wikiversity Beta]
+
* [http://en.wikipedia.org/w/index.php?title=Logical_matrix&oldid=43606082 Logical Matrix], [http://en.wikipedia.org/ Wikipedia]
+
+
[[Category:Charles Sanders Peirce]]
+
[[Category:Combinatorics]]
+
[[Category:Computer Science]]
+
[[Category:Discrete Mathematics]]
+
[[Category:Inquiry]]
+
[[Category:Logic]]
+
[[Category:Mathematics]]
+
[[Category:Semiotics]]