2012年10月23日火曜日

喉元まで出かかる

論理の演習で
 (∀ x ∈ X ) (∃ y ∈ Y )  ( P (x ,y) ) 
と
 (∃ x ∈ X ) (∀ y  ∈ Y ) ( P(x, y) )
の区別で困っている学生さんが結構いました。 思わず、
X グループの男子はそれぞれ Y グループに付き合っている女の子がいる
と、
X グループの男子の誰かが Y グループの女子全員と付き合っている
だったらえらい違いでしょ、最初のほうならいいけど、後の方なら大問題だよ、と口をすべらせそうになったのですが、また学生さんがどうリアクションしてよいか困惑するとこちらも困るので、思いとどまりました(笑)