論理に関する記事一覧

【解説】論理積・論理和・等値・含意・逆・対偶とは？【ゆるふわ】

前回、命題について解説しました。今回は「否定」「二重否定」「論理積」「論理和」「排他的論理和」「等値」「恒真命題」「含意」「逆」「対偶」といった演算を使うと、命題の真偽がどう変化するのか？...を説明します。

これから何度かに分けて「論理」の解説を行っていきます。初回である今回は「命題」という用語について説明をします。「正しいか、正しくないか判断できる文」のことを命題と呼びますが、これは if 文の条件部分になるので、しっかりと理解しましょう。