| Property |
Value |
| dbo:abstract
|
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー（恒真式）
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M⊤, 列ベクトル: (1, 2, 3)⊤）。 (ja)
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー（恒真式）
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M⊤, 列ベクトル: (1, 2, 3)⊤）。 (ja)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 876 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-ja:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー（恒真式）
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M⊤, 列ベクトル: (1, 2, 3)⊤）。 (ja)
- ダウンタック記号 (ダウンタックきごう、down tack) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単にティー (tee) やラテン語で「真」を意味するヴェルム (verum) とも呼ばれる。以下のような意味を持つ:
* 束論における最大元
* 論理学におけるトートロジー（恒真式）
* 型理論における またアルファベットの T の代わりに行列の肩に乗って、転置を表すこともある（例: M⊤, 列ベクトル: (1, 2, 3)⊤）。 (ja)
|
| rdfs:label
|
- ダウンタック記号 (ja)
- ダウンタック記号 (ja)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
