平成25年度秋期 応用情報技術者試験 午前 問4

分野:基礎理論(2進数・論理・集合・確率統計・情報理論・AI/機械学習の理論・オートマトン・形式言語・計算量)|実際に出題されたIPA過去問題

論理式P、Qがいずれも真であるとき、論理式Rの真偽にかかわらず真になる式はどれか。ここで、" ̄"は否定、"∨"は論理和、"∧"は論理積、"→"は含意("真→偽"となるときに限り偽となる演算)を表す。

  1.  ((P→Q)∧(Q→P))→(R→Q̄)
  2.  ((P→Q)∧(Q̄→P̄))→(Q→R)
  3.  ((P→Q̄)∨(Q→P))→(R→Q̄)
  4.  ((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に帰属します。
📱 演習アプリで解く(無料・登録不要・2,640問収録)

「基礎理論」分野の攻略ポイント

2進数・論理演算・集合・確率統計・情報理論・AI/機械学習の理論・オートマトン・形式言語・計算量が範囲です。純粋な計算問題が多く、対策の有無がそのまま得点差になります。手を動かす練習が最も効く分野です。

基礎理論の攻略ポイントをすべて見る(要点6項目・ひっかけ3項目)→

同じ分野(基礎理論(2進数・論理・集合・確率統計・情報理論・AI/機械学習の理論・オートマトン・形式言語・計算量))の過去問