じゃあ包含(→)とか対偶問題の同値性とかも習わなかったわけ?