恒真式とは？ こうしんしき 理科 #論理 お気に入り お気に入り 読み上げ 停止 どのような真偽の割り当てでも必ず真になる論理式。 恒真式(トートロジー)とは、その式を構成する命題変数にどのような真偽値を代入しても常に真になる論理式のこと。「PまたはPでない」が典型例。 使い方・例文 「PまたはPでない」はPが真でも偽でも全体が真になる恒真式である。 この用語をシェア 𝕏 でポスト LINE 🔗 リンクをコピー コピーしました その他で共有 最終更新: 2026年6月27日