論理式 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)