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