
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で質問しましょう!
似たような質問が見つかりました
- 数学 数学で知識を整理したいです 同値性を意識する時はある命題の逆と同値になっていなければならないんですよ 5 2022/08/04 18:41
- 数学 【 数Ⅰ 仮説検定 】 3 2023/02/27 22:21
- 英語 「語句否定」の疑問文の答え方について 3 2022/04/15 09:10
- 数学 代数学 環 1 2022/10/12 17:29
- その他(悩み相談・人生相談) もし仮に来世があるとしたら、今の配偶者ともう一度結婚したいという人はいるのでしょうか?自分は絶対に否 7 2023/08/10 17:58
- 相続・贈与 法定相続分について教えてください 2 2023/05/24 03:30
- 数学 逆関数 5 2022/10/19 15:58
- 心理学 何でも反論する人の心理について 職場に何でも反論する人がいます。 仕事の話でも、休憩中の雑談でも、と 7 2022/09/02 20:42
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の背理法について質問です...
-
a>0、b>0⇔a+b>0、ab>0
-
a,bが有理数のとき、a+b√2=0 な...
-
命題「PならばQ」でPが偽ならば...
-
数学の証明の問題です。
-
アリバイの理論について
-
背理法について
-
pならばqである の否定について
-
高校数学です!m,nを整数とする...
-
高1の数学の問題です?
-
命題論理に関する英単語
-
アキレスは亀を追い越せること...
-
有界でないについて
-
数学で知識を整理したいです 同...
-
数Ⅰの問題です x,yは実数、nは...
-
二次関数の問題なのですが、パ...
-
背理法が成り立つ理由
-
高1の数学の問題です
-
n=3の倍数ならば、n=6の倍数で...
-
命題を証明せよとはどういう意...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
a>0、b>0⇔a+b>0、ab>0
-
数学の背理法について質問です...
-
命題「PならばQ」でPが偽ならば...
-
有理数を文字置き→互いに素な整...
-
a.bが定数で任意のε>0に対してa...
-
カントールの対角線論法につい...
-
nは自然数 n^2と2n+1は互いに素...
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
背理法について
-
ウェイソン選択課題について悩...
-
「逆もまた真なり」について
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
対偶
-
「ならば」について
-
背理法と対偶証明の違いについて
-
数独 次の一手を教えてください
-
数学の証明の問題です。
-
青チャートに、「命題p⇒qの否定...
おすすめ情報