ウェイソン選択課題
「カードの片面に偶数が書かれているならば、その裏面は赤い」の「ならば」は古典論理における論理包含である。そのため、この課題はモーダスポネンス(偶数のカードは全てその裏面が赤いことを確かめなければならない)とモーダストレンス(赤でないカードは全てその裏面が偶数でないことを確かめなければならない)を用いることで解くことができる。