カコモンノート

問1応用情報技術者 令和7年度 春期

1 / 80問
令和7年度 春期2025年

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

選択肢をえらぶと、答えと解説が出ます

選択肢をえらぶと、
ここに答えと解説が出ます
正答 4

解説

正解は4。P=Q=真を代入して、まず「→」の左側(前件)を調べる。含意は前件が偽なら後件に関係なく真になる。4の前件は、P→Q̄が「真→偽」で偽、Q→P̄も「真→偽」で偽なので、論理和は偽。前件が偽だから、Rが真でも偽でも式全体は真になる。

  • 1は、P→Q、Q→Pともに真で前件は真。後件R→Q̄はQ̄が偽なので、Rが真なら偽、Rが偽なら真となり、Rに左右される。
  • 2は、Q→P̄が「真→偽」で偽なので、その否定は真。P→Qも真なので前件は真。後件Q→RはRの値そのものになり、Rに左右される。
  • 3は、Q→Pが真なので論理和の前件は真。後件R→Q̄は1と同じくRに左右される。

根拠:命題論理の含意の真理値表(前件が偽なら含意は真)。

KEY POINT
含意A→Bは前件Aが偽なら常に真。代入して前件が偽になる式を探せば、後件を調べなくてよい。
出典:令和7年度 春期 応用情報技術者試験 午前 問1(独立行政法人 情報処理推進機構(IPA))
独立行政法人情報処理推進機構(IPA)が公表している過去問題です。IPA の「過去問題の使用について」に基づき、IPA が指定する形で出典を明記して掲載しています(利用の許諾申請は不要)。問題文・選択肢の内容は変えていません。元の問題冊子から文字を起こす都合で、改行・字間の空白は省き、英数字の全角・半角は元とそろえていない箇所があります。図表は IPA が公表した問題冊子のものです。解説は当サイトが独自に作成したもので、IPA とは関係ありません。