「x+y≠6ならばx≠3またはy≠3」という命題がなぜ正しいのか分からない、という疑問は論理問題で非常によくあるつまずきポイントです。対偶を使えば分かることは理解できても、直接的な意味で納得できないという人は少なくありません。本記事では、この命題がなぜ常に真になるのかを、論理と具体例の両方から整理します。
命題の形を正しく読み解く
まず命題「x+y≠6ならばx≠3またはy≠3」を論理記号で整理します。
これは「x+y≠6 ⇒ (x≠3 ∨ y≠3)」という形です。
つまり「和が6でないなら、少なくともどちらか一方は3ではない」という意味になります。
反例を探すと見えてくる本質
この命題が偽になるのは「前件が真で後件が偽」のときだけです。
後件「x≠3またはy≠3」が偽になるのは、x=3かつy=3のときだけです。
しかしこのときx+y=6となるため、前件x+y≠6と矛盾します。
直接的な理解：成り立たないケースを考える
もしx≠3またはy≠3が偽になるとすれば、x=3かつy=3しかありません。
しかしその場合、必ずx+y=6となり「x+y≠6」という条件を満たしません。
したがって「前件が成り立ちつつ後件が崩れる状況」は存在しません。
具体例で確認する
例えばx=2、y=4の場合、x+y=6なので前件は偽になります。
このとき命題全体は「偽ならば何でもよい」ため真になります。
またx=3、y=2ならx≠3またはy≠3は真なので命題も真です。
「x≠2またはy≠4でも真なのか？」への答え
同じ構造で考えると、x+y≠6 ⇒ (x≠2またはy≠4)は一般には成り立ちません。
例えばx=2、y=4では前件が偽で後件も偽にならないため、この組み合わせでは反例になりませんが、別の値で破れる可能性があります。
重要なのは「後件が前件と論理的に矛盾しないか」を確認することです。
まとめ
この命題が真になる理由は、「後件が偽になる唯一の状況が前件と矛盾する」ためです。
つまり、反例を作ろうとしても構造上不可能であることが本質です。
論理問題では対偶だけでなく「反例が存在できるか」を意識すると理解が深まります。
コメント