The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
* The top element in lattice theory.
* The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
* The top type in type theory.
* Mixed radix encoding in the APL programming language. A similar-looking superscript T may be used to mean the transpose of a matrix.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - ダウンタック記号 (ja)
- Tee (symbol) (en)
|
rdfs:comment
| - The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
* The top element in lattice theory.
* The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
* The top type in type theory.
* Mixed radix encoding in the APL programming language. A similar-looking superscript T may be used to mean the transpose of a matrix. (en)
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー(恒真式)
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある(例: M⊤, 列ベクトル: (1, 2, 3)⊤)。 (ja)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
* The top element in lattice theory.
* The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
* The top type in type theory.
* Mixed radix encoding in the APL programming language. A similar-looking superscript T may be used to mean the transpose of a matrix. (en)
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー(恒真式)
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある(例: M⊤, 列ベクトル: (1, 2, 3)⊤)。 (ja)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |