本文へスキップ

矛盾式とは?

むじゅんしき

どのような真偽の割り当てでも必ず偽になる論理式。

矛盾式(矛盾)とは、命題変数にどのような真偽値を代入しても常に偽になる論理式のこと。「PかつPでない」が典型例であり恒真式の否定。

使い方・例文

「PかつPでない」はどんなPでも全体が偽になる矛盾式である。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語