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".
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Lógica vetorial (pt)
- Vector logic (en)
- 向量邏輯 (zh)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is notable ideas
of | |
is notableIdea
of | |
is foaf:primaryTopic
of | |