平成25年度秋期 応用情報技術者試験 午前 問4
論理式P、Qがいずれも真であるとき、論理式Rの真偽にかかわらず真になる式はどれか。ここで、" ̄"は否定、"∨"は論理和、"∧"は論理積、"→"は含意("真→偽"となるときに限り偽となる演算)を表す。
- ア ((P→Q)∧(Q→P))→(R→Q̄)
- イ ((P→Q)∧(Q̄→P̄))→(Q→R)
- ウ ((P→Q̄)∨(Q→P))→(R→Q̄)
- エ ((P→Q̄)∨(Q→P̄))→(Q→R)
解答・解説を見る
正解:エ
AI解説
正解はエ。P、Qが真のとき、エの前件(P→Q̄)∨(Q→P̄)を評価すると、P→Q̄は真→偽で偽、Q→P̄も真→偽で偽となり、前件は偽∨偽=偽である。含意は前件が偽であれば後件の真偽にかかわらず全体が真になる(空虚な真)ため、エはRの真偽に関係なく真となる。 ア: 前件(P→Q)∧(Q→P)は真∧真=真。後件R→Q̄はRが真のとき真→偽で偽となるため、全体はRに依存する。 イ: 前件(P→Q)∧(Q̄→P̄)は真。後件Q→RはRが偽のとき真→偽で偽となるため、全体はRに依存する。 ウ: 前件(P→Q̄)∨(Q→P)は偽∨真=真。後件R→Q̄はRが真のとき偽となるため、全体はRに依存する。 エ: 正しい。前件が偽になるため、含意の性質により後件(Q→R)の値と無関係に全体が真となる。 💡 含意A→Bは「Aが偽なら全体は必ず真」。Rを含まない前件を先に評価し、偽になる選択肢を探すのが最短の解法である。
出典:平成25年度 秋期 応用情報技術者試験 午前 問4 / 独立行政法人情報処理推進機構(IPA)
※Web掲載用に表記を一部変更しています。著作権はIPAに帰属します。
※Web掲載用に表記を一部変更しています。著作権はIPAに帰属します。