恒真式
さんの情報は
生没年不詳
恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）は、論理学の用語で「aであるならばaである（a → a）」「aである、または、aでない（a∨￢a）」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式のことである。 恒真式の否定は、変数の値にかかわらず常に偽となる式、すなわち矛盾である。
※Wikipediaの情報から機械的に算出しています。
情報の正確性を保証するものではありません。
「恒真式」を
Wikipediaで調べる
「恒真式」さんについての
一言コメント
まだコメントはありません。