目次ページ  前ページ  次ページ

1. 用語の定義と解説

1.2 論理演算に関係する用語


1.2.7 矛盾(ムジュン):contradiction

 一般的には、ある命題とその否定命題とを同時に主張することです。論理式で結果が常に偽になるときを矛盾と言います。例えば、「Pであり、かつPでない」という文は矛盾です。これに対する「Pであるか、またはPでない」と言うのが恒真式であって、こちらはトートロジーです。
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」

前ページ  次ページ