注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
■ 逆・裏・対偶 【 このページの要約 】 ・ある命題 「p → q」 ( p ならば q ) が真(正しい)のとき... ■ 逆・裏・対偶 【 このページの要約 】 ・ある命題 「p → q」 ( p ならば q ) が真(正しい)のとき,その対偶 は真(正しい)であるが,逆や裏は必ずしも真(正しい)とは限らない. ・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので,対偶の真偽を示せば元の命題の真偽が示せる. ・逆の裏は対偶,裏の逆も対偶,逆の対偶は裏・・・などが成り立つ. ・ 命題 p → q には,集合の包含関係 P⊂Q が対応する. これを集合の要素で表わせば,「どんな x についても,x∈ P → x∈ Q 」になる. ・ P⊂Q ⇔ ⊂ だから,p → q ⇔ → が成り立つ.
2015/07/12 リンク