恒真式とは？
こうしんしき
どんな場合でも必ず「正しい」になる論理の式だよ。
『恒真式』は、中の変数が何であっても常に正しくなる論理の式のことで、トートロジーともいうよ。
つかいかた・れいぶん
「今日は晴れか晴れでないか」はどちらになっても正しいので恒真式だよ。
このことばを シェア
さいごの こうしん: