命題の否定の際の付帯条件について https://drive.google.com/file/d/1

命題の否定の際の付帯条件について

https://drive.google.com/file/d/1625EF-LU3XnZ7ii …

上の添付画像はεーδ論法の定義の否定です。否定をすると下線があるところは、全称が特称、特称が全称に変わるのは分かるのですが、なぜε、δ、0＜│x-a│＜δの条件は変わらないのですか。
ご教授よろしくお願いします。

質問者からの補足コメント

• stomachmanさん
  最後の投稿の添付画像のεとδを間違えました。
  よろしくお願いします。
  
  https://drive.google.com/file/d/15cQomTGYe1XqzNj …

    補足日時：2018/11/19 14:07

No.7 回答者： stomachman 回答日時： 2018/11/19 13:33

No.6へのコメントについてです。

> 正書法が分かっていないので

分かってないのは知ってます。No.2のリンク先をしっかり読んでもまだわからないのなら、
https://oshiete.goo.ne.jp/qa/8733851.html
も眺めてみるかな？ま、自分で検索すらしないやつの相手をするまでもないか。

この回答へのお礼

https://drive.google.com/file/d/1cjY2g5SC84qGjju …

前回の解答を参考にしてまた書いて見たのですが正書法に沿って書けていますか？
これで違いましたら、これは論理記号の書き方というのでしょうか？
言葉が分からないので、教えていただけたら幸いです。
ご教授よろしくお願いします。

お礼日時：2018/11/19 13:59

No.6 回答者： stomachman 回答日時： 2018/11/19 13:03

No.5へのコメントについて。

> (∃x∈R)(∀y∈R)(x≦y)

だーから、そんな略記法はおよしなさいって言ってるんです。正書法なら
　　∃x (x∈R ∧ ∀y(y∈R ⇒ x≦y))
と書くんです。

この回答へのお礼

済みません、正書法が分かっていないので略記法から正書法に直せません。

お礼日時：2018/11/19 13:25

No.5 回答者： stomachman 回答日時： 2018/11/19 11:37

No.4へのコメントについてです。

эとεの区別がついてないという超基本的なところから間違っていますが、それはさておき、正書法では”∀э>0”なんて書けません。No2のリンク先を落ち着いてよく読んでみてね。

この回答へのお礼

εと3を間違えてますね、ありがとうございます。
自分の質問の命題の，が載せて頂いた質問の(∃x∈R)(∀y∈R)(x≦y)（）の区切りに当たるのですか？
ご教授よろしくお願いします。

お礼日時：2018/11/19 11:50

No.4 回答者： stomachman 回答日時： 2018/11/17 16:57

No.2へのコメントについて。

> 疑問に思っている所が見当たらなかった

そりゃま、引用先にご質問の論理式そのものが書いてあるわけじゃないですからね。
　No.2の趣旨はそういうことじゃなくて、「ご質問の論理式をご自分で正書法で書きなおしてみてみりゃ、あとは自明でしょう」という、お手軽ではない回答なんです。

この回答へのお礼

解答ありがとうございます。

https://drive.google.com/file/d/1z9ZGcX2M7jh6sxc …

否定の前に命題を括弧で括って見たのですが合ってますか。
ご教授よろしくお願いします。

お礼日時：2018/11/19 11:26

No.3 回答者： tknakamuri 回答日時： 2018/11/17 01:01

p→q

の否定は
pかつ(qの否定)
ですよ。pはそのまま残る。

No.2 回答者： stomachman 回答日時： 2018/11/16 14:06

こんな記法じゃ混乱するのも無理はないと思いますよ。

正書法を使ってキチンと書けば、なんでもないことです。ご参考→ https://oshiete.goo.ne.jp/qa/7150137.html

この回答へのお礼

解答ありがとうございます。
解答を一通り読ませて頂いたのですが、自分が疑問に思っている所が見当たらなかったのですが、示して頂けるとありがたいです。
よろしくお願いします。

お礼日時：2018/11/17 12:26

No.1 回答者： Tacosan 回答日時： 2018/11/16 00:37

簡単な例を考えてみようか. 例えば

∀x>0, x^2>0
を否定したらどうなる?

∃(????), x^2≦0
の「????」はどうなっているのが正しい?

この回答へのお礼

解答ありがとうございます。
分からないです。

お礼日時：2018/11/16 09:17