必要十分条件

必要十分条件(necessary and sufficient condition)

命題$ P, Q がある時、$ P \implies Q, Q \implies P が真であるもの

必要条件かつ十分条件であるものが必要十分条件

関連: iff(if and only if)

証明をするときに「必要十分条件であることを示せ」とか言われたときは$ P \implies Q (十分条件)、$ Q \implies P (必要条件)の両方が真であることを示せればよい

確認用

Q. 必要十分条件

メモ

調査用

Wikipedia.icon

Wikipedia.icon