The descending wedge symbol ∨ may represent:
* Logical disjunction in propositional logic
* Join in lattice theory
* The wedge sum in topology The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators. The ∨ symbol was introduced by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (∨, ∨). In TeX, it is \vee or \lor.
| Attributes | Values |
|---|
| rdfs:label
| - Vel (es)
- Descending wedge (en)
|
| rdfs:comment
| - The descending wedge symbol ∨ may represent:
* Logical disjunction in propositional logic
* Join in lattice theory
* The wedge sum in topology The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators. The ∨ symbol was introduced by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (∨, ∨). In TeX, it is \vee or \lor. (en)
- Vel es la palabra latina para expresar el sentido inclusivo de una disyunción. Es de vital importancia en el marco de la lógica proposicional como conectiva lógica. Normalmente se asocia con la palabra o, sin embargo la palabra o no se considera una definición completa y normalmente se usa como definición su tabla de verdad. (es)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - The descending wedge symbol ∨ may represent:
* Logical disjunction in propositional logic
* Join in lattice theory
* The wedge sum in topology The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators. The ∨ symbol was introduced by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (∨, ∨). In TeX, it is \vee or \lor. One motivation and the most probable explanation for the choice of the symbol ∨ is the latin word "vel" meaning "or" in the inclusive sense. Several authors use "vel" as name of the "or" function. (en)
- Vel es la palabra latina para expresar el sentido inclusivo de una disyunción. Es de vital importancia en el marco de la lógica proposicional como conectiva lógica. Normalmente se asocia con la palabra o, sin embargo la palabra o no se considera una definición completa y normalmente se usa como definición su tabla de verdad. En español la palabra o se usa para referirse tanto a la relación entre disyuntos exclusivos como a la relación entre disyuntos inclusivos. Por ejemplo, en la oración Karpov gana el campeonato mundial de ajedrez o Kasparov gana el campeonato mundial de ajedrez, se intuye que sólo puede haber un ganador, por lo tanto se usa o en sentido exclusivo, es decir, la palabra latina . Por otra parte, en la oración Se sugiere oído absoluto a pianistas o violinistas, se entiende que se sugiere oído absoluto a pianistas y/o violinistas, se usa en sentido inclusivo, es decir, vel. En la lógica matemática no se considera necesaria la distinción entre ambos tipos de alternación porque tanto si se usa vel también considerado como sentido débil como si se usa aut (también llamado sentido fuerte) no afecta el valor de verdad del resultado en donde necesariamente uno de lo alternativos implicados es verdadero. Por eso se usa la letra v para simbolizar la disyunción. (es)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)