' x+y가 유리수이면 x,y가 유리수이다.' 


라는 명제에서


x+y가 유리수를 조건 p라고 한다면 


조건 p의 진리집합은 P = { x + y l x + y ∈ 유리수 } 라고 말해야 맞나요


아니면 P = { x , y l x , y ∈ 실수 } 라고 말해야 맞나요?


저는 후자라고 생각하는데 


뒤 조건을 q라고 하면 Q =  { x , y l x , y ∈ 유리수 } 이고 


P 는 Q의 부분집합이 되지 않고 ( 반례에 두 무리수를 더해서 유리수가 나오는 경우가 있으므로)


명제는 거짓.


근데 진리집합은 조건을 참으로 하는 원소들의 집합이라고 했는데 조건 p가 참이되는 원소들은 x + y가 유리수인 원소들 이니까


이 원소들을 가지는 진리집합 P는  { x + y l x + y ∈ 유리수 } 라고 표현하는 것도 맞는 것 같은데


둘 다 맞는 표현인건가요?