条件文の真偽確認

「PならばQ」という条件に反するカードを見付けるには、Pと書かれたカードと￢Qと書かれたカードの2枚をめくって確かめればよい。

条件に反するのは「Pかつ￢Q」のカードに限られる。