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

令和7年度 春期 午前 問1

基礎理論

含意に関する問題

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

答えと解説を見る

✓ これが正解エ((P→Q̄)∨(Q→P̄))→(Q→R)

解説

P、Qが真のとき、前件が偽になる式は全体が真です。

含意 A→B は、A が真で B が偽のときだけ偽となり、A が偽であれば B の中身によらず全体は真になる演算です。設問では P と Q がともに真という前提が与えられているので、上段の含意の前件がどのような真偽になるかを組み立てれば、R の真偽によらず真になる形かどうかを判別できます。P と Q に真を代入したときに前件を成す小さな含意が T→F となって偽になり、それらが選言でつながっている場合、前件全体は偽になります。前件が偽であれば、後件が R を含むかどうかにかかわらず、上段の含意は必ず真になります。この筋道で決まるのが正解の肢です。

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

出典:令和7年度 春期 応用情報技術者試験 午前 問1

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