メインコンテンツへスキップ
用語集

うら

命題めいだい 「p ⇒ q」 に たい し て、 「p で な い ⇒ q で な い」 と い う かたち命題めいだい

数学

うらとは、命題めいだいpqp \Rightarrow q」にたいして「pp でない q\Rightarrow q でない」というかたち命題めいだいです。もと命題めいだいしんでもうらしんとはかぎりません。

名称めいしょうかたち
もとpqp \Rightarrow q
ぎゃくqpq \Rightarrow p
うらpq\overline{p} \Rightarrow \overline{q}
対偶たいぐうqp\overline{q} \Rightarrow \overline{p}

たとえば「正方形せいほうけい\Rightarrow長方形ちょうほうけい」(しん)のうら正方形せいほうけいでない \Rightarrow長方形ちょうほうけいでない」はにせです。

ポイント うらぎゃく対偶たいぐうぎゃくうら対偶たいぐう。だから「ぎゃくうら真偽しんぎ一致いっちする」。4つの関係かんけい整理せいりしておぼえる。