BabelNet

bn:00076214n

Noun Concept

Categories: 論理的真理, 意味論 (論理学), 命題論理, 命題, 数学に関する記事

恒真式トートロジー同語反復恒真恒真命題

必然的に真実である声明 Japanese Open Multilingual WordNet

Definitions

Examples

Relations

Sources

必然的に真実である声明 Japanese Open Multilingual WordNet

恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである」「aである、または、aでない」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式である。. Wikipedia

『彼は勇敢であるか、そうでないか』という文は、同語反復である Japanese Open Multilingual WordNet

IS A

HAS KIND

CATEGORY DOMAIN

DERIVATION

DIFFERENT FROM

NOTATION

OPPOSITE OF

Japanese Open Multilingual WordNet

トートロジー, 同語反復

Wikipedia

恒真式

Wikidata

恒真式

Wiktionary

トートロジー, 同語反復

Wikipedia Redirections

恒真, 恒真命題

Wikidata Alias

恒真命題

Wikipedia Translations

トーロジ