✨ ベストアンサー ✨
成り立ちますよ。一応証明すると,
p⇒q より,その対偶は真なので,¬q⇒¬p
q⇒p より,その対偶は真なので,¬p⇒¬q
よって,¬p⇔¬q
(¬は否定を表す記号で,上にバーを付けるのと同じです)
集合のイメージで言えば,pとqを表す集合が完全に一致するならば,その補集合も完全に一致するという意味になります。
✨ ベストアンサー ✨
成り立ちますよ。一応証明すると,
p⇒q より,その対偶は真なので,¬q⇒¬p
q⇒p より,その対偶は真なので,¬p⇒¬q
よって,¬p⇔¬q
(¬は否定を表す記号で,上にバーを付けるのと同じです)
集合のイメージで言えば,pとqを表す集合が完全に一致するならば,その補集合も完全に一致するという意味になります。
この質問を見ている人は
こちらの質問も見ています😉
わかりやすいです!
ありがとうございます!!!