マスログ

「ならば」の否定と対偶|論理命題の逆・裏・対偶をやさしく解説

公開日

2021年11月1日

更新日

2026年10月15日

この記事について(2026年10月15日確認)
この記事で扱っているのは「または」と「かつ」の否定の関係(ド・モルガンの定理)です。本文の見出しと一文で「または」が「ならば」になっていた誤りと、運転免許の視力の条件(普通免許は両眼で0.7以上かつ片眼でそれぞれ0.3以上)を直し、冒頭のポイントと末尾の表も本文の内容に合わせて改めました。

この記事のポイント

・「AまたはB」の否定は「AでないかつBでない」になる(ド・モルガンの定理)
・同じように「AかつB」の否定は「AでないまたはBでない」になる
・例:製造業の中小企業は「資本金3億円以下 または 従業員300人以下」なので、大企業は「3億円超 かつ 300人超」
・記号だけで納得できないときは、身近な具体例に当てはめて考えるとわかりやすい

和から無料セミナーのご案内バナー

和から講師の岡崎です。

先日授業にて、次のようなご質問がありました。

論理を基礎から勉強しているのですが、「AまたはB」の否定が「Aではない かつ Bではない」のように、「かつ」と「または」が逆転するのが今ひとつ納得できません。
なぜこんなことになるのでしょうか?

上記は「ド・モルガンの定理」を一緒に学んでいるときにいただいた非常に鋭いご質問で、これを論理式と呼ばれる式を利用して書くと次のようになります。

ド・モルガンの定理
¬(A∪B)=(¬A)∩(¬B)

何やら怪しげな記号ばかりで、式だけ眺めていても「なぜこうなるのか」がさっぱり見えてこないですね。そこで、具体的に当てはめて考えてみましょう。

なぜ「または」と「かつ」が逆転するのか?

皆さんは、中小企業と大企業の違いをご存じでしょうか。業種により異なりますが、例えば製造業だと、

(資本金又は出資の)総額が3億円以下の会社 または 従業員数が300人以下

となっています。(参考:中小企業庁「中小企業・小規模事業者の定義」)

では、そうすると大企業はどのような条件になるでしょうか。「総額3億円以下」「従業員数300人以下」のどちらか一方でも当てはまれば中小企業となりますから、大企業は両方の条件が必要になります。そのため、「または」という条件の否定は「かつ」になり、次のような条件となります。

(資本金又は出資の)総額が3億円より大きい かつ 従業員数が300人より大きい

他にも、普通自動車の運転免許に必要な視力は「両眼で0.7以上 かつ 片眼でそれぞれ0.3以上」です。このうち片眼ずつの条件は「右目0.3以上 かつ 左目0.3以上」ですが、その否定は「右目0.3未満 または 左目0.3未満」となります。どちらか一方が悪いと、私のようにコンタクトレンズや眼鏡が必要になります。他にも様々な「論理」が身近に使われていますので、ぜひ探してみてください。

おわりに

今回は論理に登場する「かつ」と「または」についてお話してきました。論理学や数学で抽象的な記号で表されているものに出くわしたときは、慌てず「具体的に考えるとどうなるだろう?」と考えてみてください。自分で例を挙げて説明することができれば、「他の例はどうだろうか?」「どんな時に成り立つのか?」といった深い理解につなげることができます。「もっと知りたい!」「できるようになりたい!」と思った方はぜひお気軽に和からへお越しください。

社会人・大人のための数学教室

それではごきげんよう。

ド・モルガンの定理 対応表

もとの条件 否定 本文の例
AまたはB(A∪B) AでないかつBでない(¬A∩¬B) 中小企業(製造業):資本金3億円以下 または 従業員300人以下 → 大企業:3億円超 かつ 300人超
AかつB(A∩B) AでないまたはBでない(¬A∪¬B) 視力:右目0.3以上 かつ 左目0.3以上 → 右目0.3未満 または 左目0.3未満

和から株式会社 数学・統計の社会人向け教室

Xでシェア Facebookでシェア LINEで送る

学び直したい気持ちはあるけれど、どこから手をつければいいか分からない。そういう方のために「社会人のための数学やり直しの地図」をつくりました。目的別に、何をどの順番でやるかを整理したA4・4ページです。

和からのメルマガに登録すると、この資料を含む3本をまとめてお送りします。登録はメールアドレスだけ、30秒で終わります。

3つのPDFを無料で受け取る

新着記事

同じカテゴリーの新着記事

同じカテゴリーの人気記事

この記事に関連する教室: 数学教室 →   社会人の学び直し講座 →

CONTACTお問い合わせ

遠方に在住の方や自宅で講義を受けたい方はオンライン講座をご用意しております。よくある質問はこちら