Vector logic (original) (raw)
Vector logic is an algebraic model of elementary logic based on matrix algebra. Vector logic assumes that the truth values map on vectors, and that the monadic and dyadic operations are executed by matrix operators. "Vector logic" has also been used to refer to the representation of classical propositional logic as a vector space, in which the unit vectors are propositional variables. Predicate logic can be represented as a vector space of the same type in which the axes represent the predicate letters and . In the vector space for propositional logic the origin represents the false, F, and the infinite periphery represents the true, T, whereas in the space for predicate logic the origin represents "nothing" and the periphery represents the flight from nothing, or "something".
| Property | Value |
|---|---|
| dbo:abstract | Vector logic is an algebraic model of elementary logic based on matrix algebra. Vector logic assumes that the truth values map on vectors, and that the monadic and dyadic operations are executed by matrix operators. "Vector logic" has also been used to refer to the representation of classical propositional logic as a vector space, in which the unit vectors are propositional variables. Predicate logic can be represented as a vector space of the same type in which the axes represent the predicate letters and . In the vector space for propositional logic the origin represents the false, F, and the infinite periphery represents the true, T, whereas in the space for predicate logic the origin represents "nothing" and the periphery represents the flight from nothing, or "something". (en) Lógica Vetorial é um modelo algébrico da lógica elementar baseado em matrizes algébricas. A lógica vetorial assume que os valores verdade mapeiam em vetores, e que as operações monádicas e diádicas são executadas por operadores matriciais. (pt) 向量邏輯是一種建基於矩陣代數的邏輯模型。它假設邏輯真值可成為一種向量，而一元和二元謂詞演算皆以矩陣的算法進行。 (zh) |
| dbo:wikiPageID | 39457694 (xsd:integer) |
| dbo:wikiPageLength | 20603 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118577789 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Predicate_logic dbr:Propositional_calculus dbr:Quantum_logic dbr:Elementary_cellular_automaton dbr:Monadic_predicate_calculus dbr:Neural_network dbr:Sheffer_stroke dbr:De_Morgan's_Laws dbc:Logic dbr:Vector_(mathematics_and_physics) dbr:Vector_space dbr:∧ dbr:∨ dbr:Indian_logic dbr:Jaina_seven-valued_logic dbr:Quantum_computing dbr:Quantum_physics dbr:Column_vector dbr:Complex_numbers dbr:Matrix_(mathematics) dbr:George_Boole dbr:Contraposition_(traditional_logic) dbr:Linear_algebra dbr:Logic dbr:Logical_NOR dbr:Logical_implication dbr:Computer_science dbr:Frobenius_inner_product dbr:Identity_matrix dbr:Many-valued_logic dbr:Truth_table dbr:Truth_value dbr:Fuzzy_logic dbr:Jonathan_Westphal dbr:Logical_matrix dbr:A_priori_and_a_posteriori dbr:Algebra dbr:Algebraic_logic dbr:Euclidean_norm dbr:Exclusive_or dbr:False_(logic) dbr:Tree_structure dbr:Logical_equivalence dbc:Boolean_algebra dbr:Involution_(mathematics) dbr:Irving_Copi dbr:Jan_Łukasiewicz dbr:Charles_Sanders_Peirce dbr:Binary_function dbr:Artificial_neuron dbr:Boolean_algebra dbr:Fredkin_gate dbr:Identity_function dbr:Indian_people dbr:Kronecker_product dbr:Real_number dbr:Mathematical_model dbr:Optics dbr:Propositional_variable dbr:Probabilistic_logic dbr:Scalar_product dbr:Classical_propositional_logic dbr:G.N._Ramachandran dbr:Peirce_arrow dbr:Differential_and_integral_calculus dbr:Logical_negation dbr:True_(logic) |
| dbp:wikiPageUsesTemplate | dbt:Ordered_list dbt:Reflist |
| dct:subject | dbc:Logic dbc:Boolean_algebra |
| gold:hypernym | dbr:Model |
| rdf:type | dbo:Person |
| rdfs:comment | Vector logic is an algebraic model of elementary logic based on matrix algebra. Vector logic assumes that the truth values map on vectors, and that the monadic and dyadic operations are executed by matrix operators. "Vector logic" has also been used to refer to the representation of classical propositional logic as a vector space, in which the unit vectors are propositional variables. Predicate logic can be represented as a vector space of the same type in which the axes represent the predicate letters and . In the vector space for propositional logic the origin represents the false, F, and the infinite periphery represents the true, T, whereas in the space for predicate logic the origin represents "nothing" and the periphery represents the flight from nothing, or "something". (en) Lógica Vetorial é um modelo algébrico da lógica elementar baseado em matrizes algébricas. A lógica vetorial assume que os valores verdade mapeiam em vetores, e que as operações monádicas e diádicas são executadas por operadores matriciais. (pt) 向量邏輯是一種建基於矩陣代數的邏輯模型。它假設邏輯真值可成為一種向量，而一元和二元謂詞演算皆以矩陣的算法進行。 (zh) |
| rdfs:label | Lógica vetorial (pt) Vector logic (en) 向量邏輯 (zh) |
| owl:sameAs | freebase:Vector logic wikidata:Vector logic dbpedia-pt:Vector logic dbpedia-zh:Vector logic https://global.dbpedia.org/id/fmm2 |
| prov:wasDerivedFrom | wikipedia-en:Vector_logic?oldid=1118577789&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Vector_logic |
| is dbo:notableIdea of | dbr:George_Boole__George_Boole__1 |
| is dbo:wikiPageWikiLink of | dbr:Quantum_logic dbr:George_Boole dbr:Fuzzy_logic dbr:Boolean_algebra |
| is dbp:notableIdeas of | dbr:George_Boole |
| is foaf:primaryTopic of | wikipedia-en:Vector_logic |