✨ ベストアンサー ✨
そう考えるのは少し違います。
p⇒qが偽であることを示すとき、反例を見つけると思います。つまり、pを満たすがqを満たさないxがあればp⇒qが偽、すなわち「p⇒qの否定」が真になります。
よって、「p⇒qの否定」は「pを満たすがqを満たさないxが存在する」ことと同じです。
「実数がxのとき、」などはp⇒qを考える前の前提として書いているだけなのでそこは変える必要ありません。
厳密に理解したければ数学基礎論を使うと思うのでひとまずこれで理解すれば十分だと思います
Xが実数のとき、を否定にしたら、〜実数Xがある。になるのはそういう形として覚えるものですか??
✨ ベストアンサー ✨
そう考えるのは少し違います。
p⇒qが偽であることを示すとき、反例を見つけると思います。つまり、pを満たすがqを満たさないxがあればp⇒qが偽、すなわち「p⇒qの否定」が真になります。
よって、「p⇒qの否定」は「pを満たすがqを満たさないxが存在する」ことと同じです。
「実数がxのとき、」などはp⇒qを考える前の前提として書いているだけなのでそこは変える必要ありません。
厳密に理解したければ数学基礎論を使うと思うのでひとまずこれで理解すれば十分だと思います
この質問を見ている人は
こちらの質問も見ています😉