式における否定の範囲について

解決済

質問者：v_PEY_v
質問日時：2013/10/28 11:19
回答数：1件

￢(∃x ∈ A)(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y)]

を同値変形したいのですが、否定の範囲などがどこまで及ぶのかなどがよくわかっておらず
自信を持って変形できません。。

一応

　　￢(∃x ∈ A)(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y)]
<=>(∀x ∈ A)(∃y ∈ A)[ ￢(￢M(x,y) ∩ ￢L(x,y))]
<=>(∀x ∈ A)(∃y ∈ A)[ M(x,y) ∪ L(x,y)]

かなと思います。
正解を教えてください！

通報する

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

質問の本文を隠す

回答 (1件)

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

No.1ベストアンサー

回答者： alice_44
回答日時：2013/10/28 18:50

その変形でよいと思います。

￢(∃x ∈ A)(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y)]
で、先頭の否定が掛かっている範囲は、式の残り全部
(∃x ∈ A)(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y)]
ですから、

￢(∃x ∈ A)(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y) ]
⇔　(∀x ∈ A) ￢(∀y ∈ A)[ ￢M(x,y) ∩ ￢L(x,y) ]
⇔　(∀x ∈ A)(∃y ∈ A) ￢[ ￢M(x,y) ∩ ￢L(x,y) ]
で正解です。その後の変形も、貴方の式どおり。