数理論理学（数学基礎論） その12

[0266 １３２人目の素数さん 2017/12/28(木) 19:50:15.95 ID:Gj2H71EO]

>>262
P(x)ならばQ(x)が成り立つ時、円Pは円Qの中に入ってますね
任意のxでP(x)ならばQ(x)が真であるので、αがPに入ってない時はP(α)ならばQ(α)は真である、と考えるのは間違ってますか？