過去問解きまくり研究所 ホーム

平成31年度 春期 午前 問3

離散数学

論理和に関する問題

P,Q,R はいずれも命題である。命題 P の真理値は真であり,命題 (not P) or Q 及び命題 (not Q) or R のいずれの真理値も真であることが分かっている。Q,R の真理値はどれか。ここで,X or Y は X と Y の論理和,not X は X の否定を表す。

選択肢は原典では Q・R の2列の表。

答えと解説を見る

✓ これが正解エQ:真 / R:真

解説

含意の形に読み替えると、Q も R も真に決まります。

論理和の一方が偽だと分かっているとき、残る側の真偽が決まります。全体が真であるためには、偽でないほうが真でなければならないからです。この問いでは、まず命題 P が真だと与えられています。ですから P の否定は偽です。一つ目の式は、P の否定と Q の論理和が真だと述べています。前半が偽なので、Q が真でなければ全体は真になりません。こうして Q が真と決まります。次に、Q が真なので、その否定のほうは偽になります。二つ目の式も同じ形なので、R も真だと確定します。どちらの式も、前が真なら後も真という含意の形に読み替えられます。含意として読むと、真が順に伝わっていく様子が見えます。順番に一つずつ確定させるのが、この型の解き方です。二つの式を逆の順に見ても、決まる先は同じです。

ほかの選択肢はなぜ違うのか

出典:平成31年度 春期 基本情報技術者試験 午前 問3

この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する(メールが開きます)