No.2ベストアンサー
- 回答日時:
例は挙げません。
以下、¬は否定(not), ∧は論理積(and), ∨は論理和(or)です。●A⇒B の
逆は B⇒A
裏は ¬A⇒¬B
対偶は ¬B⇒¬A
です。
●さて、A⇒Bとは ¬(A∧¬B) の意味です。
●また、
・¬¬A は Aと等価。
・¬(A∧B) は (¬A∨¬B) と等価
・¬(A∨B) は (¬A∧¬B) と等価
ですから、これらを使うと、A⇒B は (¬A∨B)とも等価であり、¬B⇒¬A とも等価であることが分かります。同様にして B⇒A は (¬B∨A) と等価で ¬A⇒¬B とも等価です。 さらに ¬(A⇒B) は (A∧¬B) と等価であることが分かります。
●命題論理について、その他に知っておくべきルールとしては
・A∧B は B∧A と等価
・A∨B は B∨A と等価
・A∧(B∧C) は (A∧B)∧C と等価
・A∨(B∨C) は (A∨B)∨C と等価
・A∧(B∨C) は (A∧B)∧(A∧C) と等価
・A∨(B∨C) は (A∨B)∧(A∨C) と等価
があります。
●一階述語論理に関しては、
・∃xP(x)の否定 ¬(∃xP(x)) は ∀x(¬P(x))と等価
・∀xP(x)の否定 ¬(∀xP(x)) は ∃x(¬P(x))と等価
・∃x∃yP(x,y)は∃y∃xP(x,y)と等価
・∀x∀yP(x,y)は∀y∀xP(x,y)と等価
があります。
●さて、
∀ε,∃δ,∀x (|x|<δ),(|f(x) - 0|<0)
というのは略記法です。これをきちんと書くと
∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0)
ということになります。
これは中に⇒を含んでいますが、全体としてはA⇒Bの形をしてませんから、対偶というものは考えられません。しかし否定なら考えられますね。
¬(∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0)) は
∃ε¬(∃δ∀x(|x|<δ⇒|f(x) - 0|<0)) と等価で、これは
∃ε∀δ¬(∀x(|x|<δ⇒|f(x) - 0|<0)) と等価で、これは
∃ε∀δ∃x¬(|x|<δ⇒|f(x) - 0|<0)) と等価で、これは
∃ε∀δ∃x(|x|<δ∧¬(|f(x) - 0|<0)) と等価で、これは
∃ε∀δ∃x(|x|<δ∧|f(x) - 0|≧0) と等価です。
なお、(|x|<δ⇒|f(x) - 0|<0)の部分はA⇒Bの形をしていて、これは対偶¬B⇒¬Aと等価ですから、
∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0) は
∀ε∃δ∀x(|f(x) - 0|≧0⇒|x|≧δ) と等価。
この回答への補足
体調が悪かったのとプリンタの無い環境にいた事と、まあ個人的な事情ですがそんな訳で読破するのに丸1日かかってしまいました。
返事が送れて申し訳ありません。
まず虫繕いから。
masuo_kunさんのご指摘にもありますように、
> 『∀ε,∃δ,∀x (|x|<δ),(|f(x) - 0|<0)』
は
> 『∀ε,∃δ,∀x (|x|<δ),(|f(x) - 0|<ε)』
の表記ミスでした。失礼いたしました。
また、stomachmanさんの
> ・A∨(B∨C) は (A∨B)∧(A∨C) と等価
は
> ・A∨(B∧C) は (A∨B)∧(A∨C) と等価
かと思われます。
所でstomachmanさん、等価である事を全て日本語で「等価である」と書かれていますが、等価である事を表す記号は無いんですか?
例えば(A⇒B) ⇔ (¬(A∧¬B))などと書いてはいけないのでしょうか?
「等価」と「同値」とは別物ですか?
> ¬(∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0))
から
> ∃ε∀δ∃x(|x|<δ∧|f(x) - 0|≧0)
に至る過程はドミノ倒しを見ているようで心地よかったです。
ところで
> 全体としてはA⇒Bの形をしてませんから、対偶というものは考えられません。
との事ですが
> なお、(|x|<δ⇒|f(x) - 0|<0)の部分はA⇒Bの形をしていて、これは対偶¬B⇒¬Aと等価ですから、
> ∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0) は
> ∀ε∃δ∀x(|f(x) - 0|≧0⇒|x|≧δ) と等価。
これは対偶と呼ばないのですか?それは定義ですか?そう定義する理由って何でしょう?
というは単純なA⇒Bの場合、¬B⇒¬A(対偶)が言えればA⇒Bが言えるわけでしょう。
上の例でもそれは同じ事。だったら対偶と定義してしまって良さそうな気がするのですが。
条件付き(∀ε∃δなど)で逆、裏、対偶を定義した時、何か支障でも出てくるのでしょうか?
No.5
- 回答日時:
stomachman恒例の蛇足です。
●∀ε,∃δ,∀x (|x|<δ),(|f(x) - 0|<0)
という論理式に何もおかしな所はありません。∀ε∃δと書いたからって、その後にεやδが出てくる義理なんぞありゃしないし、ましてこの論理式の真偽など問うてはいないんですから。
No.2について
●ご指摘の通り、
> ・A∨(B∨C) は (A∨B)∧(A∨C) と等価
は書きそこ間違いで、
> ・A∨(B∧C) は (A∨B)∧(A∨C) と等価
が正解です。訂正してお詫びします。
●等価を表す記号
> 例えば(A⇒B) ⇔ (¬(A∧¬B))などと書いてはいけないのでしょうか?
これやると混乱しちゃいますから、よしましょう。ひとつの考え方は、
「X⇔Y は (X∧Y) ∨ (¬X∧¬Y) と等価な演算子に過ぎない。『X⇔Y』が真か偽かはX⇔Y と書いただけではどちらとも言えない。一方『AがBと等価』というのは、『AからBが導出でき、しかもBからAが導出できる』ということを述べている。」
ということです。
「A,B,CからD,Eを導出できる」を表す記号として A,B,CトD,E (ホントはカタカナのトとちょっと違って、横棒が水平)を使うことがあります。この記号を使うと、たとえば三段論法は
A, A⇒BトB
ジレンマは
A⇒B, ¬A⇒BトB
のように表せます。論理演算としての⇒と、推論としてのトは区別しなくちゃいけない。これは操作される対象("⇒"も対象のひとつ)と、対象を扱う体系を区別するということです。
厳密なことを言えば、形式論理体系の公理系および推論規則によって、このへんには多少違いがあります。沢山の公理があって推論規則は三段論法しかない体系もあるし、逆に公理がちょっとで豊富な推論規則を持つ体系もある。だからどういう体系を使うのかきちんと決めておかないと混乱しやすい所ではあります。
●> 全体としてはA⇒Bの形をしてませんから、対偶というものは考えられません。
についての補足。
一階述語論理の論理式には大きく分けて2種類あります。
・閉じた論理式:出てくる変数が全て限量子(∀または∃)付きで現れているもの。
・開いた論理式:限量子(∀または∃)付きでない変数(自由変数)を含むもの。
開いた論理式というのは文脈に依存する。たとえば
∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<0)
というのは一つの開いた論理式で、fが自由変数です。開いた論理式は文脈の中で、「ある特定のfについて話をしている」のか「任意のfについて話をしているのか」が分かるという状態で使われる。ですから、たとえば∀f∀ε∃δ∀xという文脈において、
|x|<δ⇒|f(x) - 0|<0
という開いた論理式を考えるのは差し支えない。そうすると、逆・裏・対偶を作ることが可能です。しかしご質問は
∀ε,∃δ,∀x (|x|<δ),(|f(x) - 0|<0)
についてですから、裏、逆、対偶はありません。
●さて、僭越ながらtaropooさんへのアドバイス:
(1) かくも突っ込んで質問なさるのなら、是非、記号論理学、あるいは数学基礎論の教科書を手に入れて勉強なさるのが宜しいかと思います。面白いですよ。
(2) masuo_kunさんはせっかく回答してくれたんですよ。下記URLをば、じっくりご参照下さい。
参考URL:http://oshiete1.goo.ne.jp/kotaeru.php3?q=78352
済みません,正しい表記法を知らなかったので2.の質問の式を
> ∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<ε)
と訂正させてください。これだと逆・裏・対偶を作る事が出来ないけど
> 任意f(x)∀ε∃δ∀x(|x|<δ⇒|f(x) - 0|<ε)
であれば逆・裏・対偶は作れると、そういう事ですね?
何故開いた論理式では逆・裏・対偶が定義できないのか未だに分かっていないのですが、
> 記号論理学、あるいは数学基礎論の教科書を手に入れて勉強なさるのが宜しいかと
諸事象によりそこまで一所に留まっている時間が無いんです。
突っ込んで聞いてしまうのは「分からない事は嫌い」という性分の性で、
自分でも良い所でもあり悪い所でもあるなーと感じております。
論理学の面白さはその一端を見せていただいて分かりましたので
時間が出来た時に興味で教科書等を買って勉強してみようと思います。
ありがとうございました。
p.s masao_kunさんには申し訳無い事をしたと思っております。
No.4
- 回答日時:
oodaikoです。
私が余計なことをいろいろと書いてしまったので、あちこちに混乱をもたらしたようで皆様にお詫び致します。
この質問に対する回答としてはstomachmanさんの回答で完璧だと思いますので
私の回答は補足程度に。
1.について。
一般的な記述ならstomachmanさんの回答で完璧。
具体的な例で見たいのなら最初のmasuo_kunさんの回答で十分。
命題A :x>0かつy>0
命題B: x+y>0
とした時の
A⇒B が masuo_kunさんの回答にある
「x>0かつy>0 ならば x+y>0」
と言う命題です。この命題の否定は
「(x>0かつy>0 ならば x+y>0)でない」
ですがこれでは見にくいですね。そこでstomachmanさんの回答にあるように
論理的に変形すると
「x>0かつy>0かつx+y≦0」
となります
2.について。
stomachmanさんの回答にあるように、この命題については
逆、裏、対偶は意味がありません。(と言うより定義されない)
なぜなら逆、裏、対偶というのはあくまで
「(命題Aが成り立つ)ならば(命題Bが成り立つ)」
という特殊な形をした命題について定義される概念だからです。
そこで2.の命題について考えられるのは「否定」だけでその内容については
stomachmanさんの回答の通りです。
この回答への補足
oodaiko先生に太鼓判を押していただけると大太鼓だけに不思議と裏づけされた気がします。(笑)
しかし、まだ
> この命題については 逆、裏、対偶は意味がありません。(と言うより定義されない)
> なぜなら逆、裏、対偶というのはあくまで
> 「(命題Aが成り立つ)ならば(命題Bが成り立つ)」
> という特殊な形をした命題について定義される概念だからです。
と言う点が腑に落ちません。
実際stomachman先生が最後に出された例は、A⇒Bという形をしていませんが、あれを対偶と定義する事に何の問題があるのでしょう?
補足に書いた件は気になる所ではありますが、
stomachmanさんのご回答No.5へのお礼にも書きました事情により
これ以上深入りは避けたいと思います。
勝手を言いまして申し訳ありません。
ご回答ありがとうございました。
No.3
- 回答日時:
1.簡単な例でといわれたから簡単な例をあげたまでです。
否定については何も答えていないのではなく、裏のところで既に含まれる表現だから省略しただけです。
否定が一番気になるなら先にそれを書いてくださいよ。全然貴方もそれを書いていない。
2.については、私なりに考えて、一生懸命辞典を引きまくって得た回答です。
勿論完璧でないから自信はないです。
質問の内容を勝手に変えたことや、言葉に遊びが入っていることについて、
それが逆にtaropooさんの逆鱗に触れたのでしたら、伏してお詫び申し上げます。
でも、仮定にεがありながらそれっきりの、原文の命題もおかしいですよ。
完璧な質問をしてくださいよ。
人に完璧を求める貴方は一体何者でしょうか?
これだけ書けば規約違反も甚だしいと思うので、多分私は抹殺されます。
それ以前に疲れたので、撤収。もうここにはこないです。
お世話になった方々にはこの場を借りて御礼申し上げます。
ありがとうございました。さようなら。
私は分かっていないから質問をしました。
> 裏のところで既に含まれる
かどうかすらわかりません。「逆、裏、否定、対偶」についてお聞きしたら、どれが気になるとか関係なしに4つともお答え頂けるのを期待してはいけませんか?
> 仮定にεがありながらそれっきりの
今言われて気がつきました。あれは私のミスです。最後の0がεにすればいいんですよね?
ご回答に尽力いただきありがとうございました。
No.1
- 回答日時:
対偶は(Bでない)⇒(Aでない)
ということはご存知だと思いますが…
1.(taropooさんにとっては確認するまでも無いことかもしれませんが・・・)
原型 x>0かつy>0 ならば x+y>0
逆 x+y>0 ならば x>0かつy>0
裏 x≦0またはy≦0 ならば x+y≦0
対偶 x+y≦0 ならば x≦0またはy≦0
少しずつ2.に近づけてみましょう
原型 全てのx>0に対して、y>0 ならば x+y>0
逆 全てのx>0に対して、x+y>0 ならば y>0
裏 全てのx>0に対して、y≦0 ならば x+y≦0
対偶 全てのx>0に対して、x+y≦0 ならば y≦0
2.は懐かしい、x=0で連続であることの定義(定理?)ですね。10年ぶりに見ました(笑)
どこに「ならば」があるか、忘れるんですよね、これ(笑)
正確には、辞典を見ますと、
『∀ε>0,∃δ>0,∀x (|x|<δ),|f(x) -f(0)|<ε』とあるので、これでいきます。
記号を「和訳」すると、
「全てのε>0に対して、適当にδ>0をとり、xが|x|<δを満たすならば、常に|f(x) - f(0)|<εである」
逆は、
「全てのε>0に対して、適当にδ>0をとり、常に|f(x) -f(0)|<εならば、xは|x|<δを満たす」
裏は、
「全てのε>0に対して、適当にδ>0をとり、xが|x|≧δを満たすならば、常に|f(x) - f(0)|≧εである」
対偶は
「全てのε>0に対して、適当にδ>0をとり、常に|f(x) - f(0)|≧εであるならば、xが|x|≧δを満たす」
だったと思います。2.は全然自信なし…
この回答への補足
お聞きした事に関してお答え下さい。
1.でx>0だのy>0だのはどこから出てきたのですか?私は『A⇒B』に関して質問をしたのですよ。
しかも一番気になっている「否定」に関して何も述べていらっしゃらない。
2.に関してもこちらは真剣に聞いています。自信の無い回答を見せられて私はどうすればいいのでしょう?
お聞きした事に関して、回答に自信のある方からのご回答をお待ちしております。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
歩いた自慢大会
「めちゃくちゃ歩いたエピソード」を教えてください。 長時間でも長距離でも結構です。
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
数学の逆裏対偶の、「裏」と、「否定」を記せという問題の違いがわかりません。教えて下さい。よろしくお願
高校
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
フェルマー?の証明
-
「逆は必ずしも真ならず」の証...
-
青チャートに、「命題p⇒qの否定...
-
背理法と対偶証明の違いについて
-
命題を証明せよとはどういう意...
-
数学の論理学的な質問なんです...
-
高1の数学の問題です?
-
数学で出てくる十分性と必要性...
-
数Ⅰの問題です x,yは実数、nは...
-
この問題の逆 裏 対偶と真偽と...
-
高校数学です!m,nを整数とする...
-
x,yが互いに素なとき、x+y/2とx...
-
これって正しい?
-
ある数にnを加えると、約数の個...
-
pならばqである の否定について
-
n=3の倍数ならば、n=6の倍数で...
-
カントールの対角線論法につい...
-
命題「PならばQ」が偽のとき...
-
【命題が偽である場合の反例の...
マンスリーランキングこのカテゴリの人気マンスリー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を整数とする...
おすすめ情報