命題「$xy=1 \Rightarrow x=1 \text{ または } y=1$」について、この命題の対偶を求め、さらにこの命題が真か偽かを判定する問題です。

代数学命題対偶真偽判定論理
2025/8/11

1. 問題の内容

命題「xy=1x=1 または y=1xy=1 \Rightarrow x=1 \text{ または } y=1」について、この命題の対偶を求め、さらにこの命題が真か偽かを判定する問題です。

2. 解き方の手順

まず、命題「PQP \Rightarrow Q」の対偶は「QP\overline{Q} \Rightarrow \overline{P}」です。
ここでQ\overline{Q}QQの否定を表します。
元の命題は「xy=1x=1 または y=1xy=1 \Rightarrow x=1 \text{ または } y=1」です。
この命題の対偶は、まず結論の否定を取ります。
x=1 または y=1x=1 \text{ または } y=1」の否定は「x1 かつ y1x \neq 1 \text{ かつ } y \neq 1」です。
次に仮定の否定を取ります。
xy=1xy=1」の否定は「xy1xy \neq 1」です。
したがって、対偶は「x1 かつ y1xy1x \neq 1 \text{ かつ } y \neq 1 \Rightarrow xy \neq 1」となります。
選択肢の中にこの命題と一致するものがないため、まず元の命題の真偽を判定することにします。
xy=1x=1 または y=1xy=1 \Rightarrow x=1 \text{ または } y=1
x=2x=2, y=1/2y=1/2 のとき、xy=1xy=1ですが、x=1x=1でもy=1y=1でもありません。よってこの命題は偽です。
したがって、「コ」に入るのは選択肢②の「x=1 かつ y=1xy=1x=1 \text{ かつ } y=1 \Rightarrow xy=1」です。この命題の結論の否定はxy1xy \neq 1であり、仮定の否定はx1 または y1x \neq 1 \text{ または } y \neq 1なので、対偶はxy1x1 または y1xy \neq 1 \Rightarrow x \neq 1 \text{ または } y \neq 1となります。
そして、「サ」に入るのは選択肢⑤の「偽」です。

3. 最終的な答え

コ:②
サ:⑤