アプリでもっと教えて！goo

電子書籍の厳選無料作品が豊富！

∃a∈Z[x=C_a]を否定すると∀a[¬(a∈Z)∨x≠C_a]になりますよね？

解決済

質問者：genr
質問日時：2020/07/19 09:46
回答数：1件

∃a∈Z[x=C_a]を否定すると∀a[¬(a∈Z)∨x≠C_a]になりますよね？

この質問への回答は締め切られました。

質問の本文を隠す

回答 (1件)

ベストアンサー優先
最新から表示
回答順に表示

No.1ベストアンサー

回答者：ありものがたり
回答日時：2020/07/19 11:39

C_a が正体不明なのが気になりますが、おそらく

¬ ∃a∈Z[ x=C_a ]
⇔　¬ ∃a[ a∈Z ∧ x=C_a ]
⇔　¬¬ ∀a ¬[ a∈Z ∧ x=C_a ]
⇔　∀a[ ¬a∈Z ∨ ¬x=C_a ]
で良かろうとは思います。

- 0
- 件

この回答へのお礼

ありがとうございました

お礼日時：2020/07/19 18:29

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう！

質問する（無料）

似たような質問が見つかりました

英語仮定法で準否定を表現すると完全否定になる理由等について 4 2023/04/24 18:12
友達・仲間否定から入る人に不快感を感じるのは私が弱いからですか？大学の友達に高確率で否定から入る子が居るので 1 2022/07/17 21:27
心理学否定的な思考を変えるためには 5 2023/02/07 16:32
その他（社会科学）ベーシックインカムについて。学校でベーシックインカムについて肯定派、否定派に分かれて議論するんですが 6 2022/05/08 22:58
政治学ベーシックインカムについて。学校でベーシックインカムについて肯定派、否定派に分かれて議論するんですが 1 2022/05/09 13:01
その他(悩み相談・人生相談) 教えて!gooで、男性A(男女平等好き)は、女性B(男尊女卑好き)に、男尊女卑を否定されるのが嫌と 2 2023/05/13 02:26
その他（社会科学）ベーシックインカムについて。学校でベーシックインカムについて肯定派、否定派に分かれて議論するんですが 3 2022/05/08 23:18
その他(悩み相談・人生相談) 男性A(男女平等好き)は、女性B(男尊女卑好き)に、男尊女卑を否定されるのが嫌と言われたのに、男尊女 2 2023/05/12 23:30
その他(悩み相談・人生相談) 男性A(男女平等好き)は、女性B(男尊女卑好き)に、男尊女卑を否定されるのが嫌と言われたのに、男尊女 2 2023/05/13 00:22
心理学仕事やプライベート等のあらゆる状況での話です 5 2023/05/19 16:49

関連するカテゴリからQ&Aを探す

ページトップ

おすすめ情報

・漫画をレンタルでお得に読める！

質問する（無料）

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

おすすめ情報