ページ1:

(からはみ出
である。 そのはみ出す要素を反例という (右図参照)。
必要条件と十分条件
2つの条件, q において
55151
①pg が真であるとき
q はかであるための
必要条件
pgであるための
十分条件
②pgqpがともに真である(pg が成り立つ) とき
gp (g) であるための必要十分条件
このとき,gは互いに同値であるという。
[補足] ① gはかから必然的に導かれる結論→ q はpであるための必要条件
pgが成り立つには十分な仮定はgであるための十分条件
ととらえると理解しやすい。 そこで (十分) ⇒ (必要) と覚えておこう。