条件文の真偽確認と不要なカード

「PならばQ」に反するのは「Pかつ￢Q」の場合に限られるので、￢Pのカードは前件を満たさずQのカードは裏がPでも￢Pでも反しないからめくる必要はなく、Pと￢Qの2枚で足り、Pだけでは￢Qの裏のPを見落とし、Qをめくる場合は￢Qを欠くか不要な枚数を含む。