矛盾式とは？
むじゅんしき
どんな場合でも必ず「正しくない」になる論理の式だよ。
『矛盾式』は、中の変数が何でも常に偽になる論理の式のことだよ。
つかいかた・れいぶん
「今日は晴れで、かつ晴れでない」はどうあってもありえないので矛盾式だよ。
このことばを シェア
さいごの こうしん: