命題
pre-requisite: P = 空に雲がある, Q = 雨が降る
$ P \implies QでPは十分条件であるように思えるが、雲があっても雨が降るとは限らない為、十分条件ではない。
$ Q \implies Pにおいては雨が降るということは雲がかかってなければならないので、Pが必要条件となる。