必要条件と十分条件

必要条件と十分条件。論理学の超基礎なのに、なぜかいつもどっちがどっちか分からなくなるのでメモ。

定義

pならばq(p → q)
・pはqであるための十分条件
・qはpであるための必要条件

意味

・pであるためには少なくともqである必要がある。
・qであるためにはpであれば十分である。

pを『ペンギン』、qを『鳥』とすると、

『ペンギンならば鳥である』が真実のとき、
『ペンギンであるためには少なくとも鳥である必要がある』、
そして、『鳥であるためにはペンギンであれば十分である』といえます。
このとき、『ペンギン』が十分条件、『鳥』が必要条件にあたります。

引用:http://ronri2.web.fc2.com/hanron05.html

覚え方

十要(十 → 要)は重要だ。

-IT/情報処理全般