![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67b6d)
No.4ベストアンサー
- 回答日時:
P⇒Q
のP,Qは何ですか?
「反例」というからには条件であって、正確には
すべてのxについて、P(x)⇒Q(x)
(記号で書けば ∀x(P(x)⇒Q(x))
の反例、のことでしょう。つまり、
P(a)∧¬Q(a)
を満たすaが反例です。
このaについて、
P(a)が真だから¬P(a)は偽なので、
¬P(a)⇒¬Q(a)は成り立ちます(¬P(a)⇒任意の命題 も成り立ちます)。
同様に、Q(a)が偽だから、
Q(a)⇒P(a)
も成り立ちます。
ここのP(a)とかQ(a)はP(x)やQ(x)のxにaを代入した命題であって、条件ではありません。
一方、P,Qが条件の時、高校数学で
¬P⇒¬Q
と書けば、これは
すべてのxについて (¬P(x)⇒¬Q(x))
の意味であり、こちらは成立するとは限りません。
mtrajcpさんの例なら、
2が3の倍数である⇒ 2は2の倍数である
は正しい命題です(仮定「2は3の倍数である」は偽だし、結論も真だから)が、
すべての整数xについて、xが3の倍数⇒xは2の倍数
は誤りです。
No.7
- 回答日時:
>P⇒Qの反例を上げた場合、P∩¬Qとなりますよね?
P->Q は (¬P)∨Q だからその否定は P∧(¬Q)です。
ド・モルガンの定理
>反例が成立した時に、¬P⇒¬Q(もしくはその待遇で
>あるQ⇒P)は成立するのですか?
恒真命題ではないと分かった命題から何を推論しようとしても
無駄かと。
No.5
- 回答日時:
> P⇒Qの反例
なんてものはそもそもありません。「反例」という概念(言葉)が意味を持つのは、述語論理における
∀x R(x)
すなわち、「任意のxについて、R(x)である。」という形の命題においてだけです。そして、この命題の「反例」とは「 R(a)が偽であるようなa」のことです。
述語R(x)がP(x)⇒Q(x)という構造になっている場合に限っても同じことで、
∀x (P(x)⇒Q(x))
の反例は、「P(a)⇒Q(a)が偽であるようなa」です。P(a)⇒Q(a)を言い換えれば ¬(P(a)∧(¬Q(a)))ですので、「P(a)⇒Q(a)が偽」は「P(a)∧(¬Q(a))」と同義です。つまり「P(a)が真で、かつ、Q(a)が偽であるようなa」ってことですね。
なお、
> 反例が成立
がどういう意味なのかはわかりかねますが、
∀x (P(x)⇒Q(x))
の反例aが見つかった場合、というオツモリなのだろうと考えることにして、
> ¬P⇒¬Q(もしくはその待遇であるQ⇒P)は成立するのですか?
(「待遇」を「対偶」と読み替えたとして、)そんなことは言えません。
例えば命題
∀x (xは素数である ⇒ xは奇数である)
の反例として、 反例 x = 2 が挙げられます。これは命題
∃x (xは素数である ∧ ¬(xは奇数である)) 「素数であって、かつ奇数でないxが存在する」
が真だと証明している。だから、この命題の否定である命題
∀x (xは素数である ⇒ xは奇数である)
が偽であることの証明になっているわけです。
しかし、
∀x (xは奇数でない ⇒ xは素数でない)
も
∀x (xは奇数である ⇒ xは素数である)
も
∀x (xは素数でない ⇒ xは奇数でない)
も偽です。
No.3
- 回答日時:
P=[xは2の倍数である]
Q=[xは3の倍数である]
とすると
P⇒Q
の反例は
x=2
P∩¬Q
は
P⇒Qの否定
¬P⇒¬Q(もしくはその対偶であるQ⇒P)
の反例は
x=3
だから
¬P⇒¬Q
も
Q⇒P
も
成立しない
No.1
- 回答日時:
P∩¬Q は P⇒Q の「否定」であって「反例」ではありません。
述語 P(x) または命題 ∀x,P(x) の「反例」とは、
¬P(y) が真になるような y の値のことを言います。
P(y)∩¬Q(y) が真になるような y をひとつ見つけたとすれば、
それは命題 ∀x,P(x)⇒Q(x) の反例にはなっています。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
√0.25=±0.5である。 これはなぜ正しく無いのですか?
数学
-
数学 算数の通分について 分数を約分するときって 例えば分母が 8と6だったら8×6をして48 だか
数学
-
数学を勉強すると論理的思考力が向上するという疑わしい主張が横行しているのはなぜですか?
数学
-
-
4
簡単な算数の質問です。 例えば一年でインフルエンザになる人が10人に1人だとします。そして一年でコロ
数学
-
5
確率の当たり前
数学
-
6
n 個のサイコロを同時に振る。 ただし、nは正の整数とする。 出た目の数の積が6の倍数となる確率を求
数学
-
7
1+2+3+…=?
数学
-
8
ちょっとむずかしいね?
数学
-
9
素数方程式を発見しました
数学
-
10
√2が無理数であることの証明では、背理法以外には方法はないのでしょうか?
数学
-
11
偶数≠奇数の判定はどうやるのか?
数学
-
12
√-1 は、何になるのでしょうか
数学
-
13
1-1+1-1+…=?
数学
-
14
下の写真 なぜこれは同値性考えずにそのまま2乗できるのでしょうか
数学
-
15
数学I アホらしい質問なのでそんなこと考えることは無駄などの解答は受け付けておりません。 また自分的
数学
-
16
確率の問題 数学と実生活と
数学
-
17
相加相乗平均を使って最小値を求めたい時は積が定数になるようにしないといけませんか?
数学
-
18
写真の様な解き方はおかしいですか? 何故おかしいのかも教えてくれると助かりますm(_ _)m
数学
-
19
微分係数の定義?
数学
-
20
三角不等式
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・「I love you」 をかっこよく翻訳してみてください
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・昔のあなたへのアドバイス
- ・かっこよく答えてください!!
- ・あなたが好きな本屋さんを教えてください
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
a>0、b>0⇔a+b>0、ab>0
-
数学の背理法について質問です...
-
数学で出てくる十分性と必要性...
-
a,bが有理数のとき、a+b√2=0 な...
-
強い仮定、弱い仮定、とは
-
背理法の必要十分性について
-
証明問題です
-
論理学のナポレオンの問題
-
逆、裏、否定、対偶
-
命題「PならばQ」でPが偽ならば...
-
ユークリッド幾何学にまつわる...
-
nは自然数 n^2と2n+1は互いに素...
-
バナッハ空間における証明問題
-
数学の論理学的な質問なんです...
-
ウェイソン選択課題について悩...
-
命題の証明で・・・
-
命題と論証
-
大学入試問題です。 ⑴nは2以上...
-
xy=0ならばx=0またはy=0 の対偶...
-
天使と悪魔(論理学)
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報