恒真式
恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）は、論理学の用語で「aであるならばaである（a → a）」「aである、または、aでない（a∨￢a）」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式のことである。 恒真式の否定は、変数の値にかかわらず常に偽となる式、すなわち矛盾である。
恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）は、論理学の用語で「aであるならばaである（a → a）」「aである、または、aでない（a∨￢a）」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式のことである。 恒真式の否定は、変数の値にかかわらず常に偽となる式、すなわち矛盾である。
恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）は、論理学の用語で「aであるならばaである（a → a）」「aである、または、aでない（a∨￢a）」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式のことである。 恒真式の否定は、変数の値にかかわらず常に偽となる式、すなわち矛盾である。
出典: Wikipedia「恒真式」 · CC BY-SA 4.0
この記事を共有: X · Bluesky