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

解説　本サイト独自（IPA公表のものではありません）

エ　P，Qがともに真なら，P→QとQ→Pはいずれも“真→偽”なので偽になる。したがって，この二つの論理和は偽である。含意は前件が偽なら後件のQ→Rが真か偽かにかかわらず真なので，Rの真偽にも左右されない。

• ア　P，Qが真のとき前件は真である。一方，R→QはRが真なら偽になるので，Rの真偽にかかわらず真とはならない。
• イ　P，Qが真なら，Q→Pは偽で，その否定は真となるため，前件は真になる。後件のQ→RはRが偽なら偽になり，常に真ではない。
• ウ　P，Qが真なら，P→Qは偽だがQ→Pは真なので，前件の論理和は真になる。Rが真のとき後件R→Qが偽となる。