14/07/18 16:02:45.31
「∃a,b,c∈Z+ s.t. a^2+b^2+c^2=11 」 これ自体が一つの命題になってるから
文章が変になってる。(a,b,c)を一組でも見つければこの命題は真
単に式をいっぱい使いたいだけなら
card( {(a,b,c) | a^2+b^2+c^2=11, a,b,c∈Z } ) を求めよ
とかでどう？
14/07/18 16:02:45.31
「∃a,b,c∈Z+ s.t. a^2+b^2+c^2=11 」 これ自体が一つの命題になってるから
文章が変になってる。(a,b,c)を一組でも見つければこの命題は真
単に式をいっぱい使いたいだけなら
card( {(a,b,c) | a^2+b^2+c^2=11, a,b,c∈Z } ) を求めよ
とかでどう？