<저의 생각>

하현성님의 질문의 요지는 방정식([eqn: x]의 값에 따라 참, 거짓이 되는 등식)은 조건인데 [eqn: x]의 값에 따라 참, 거짓이 되는 [[eqn: x IN ｛1,``2｝]이면, [eqn: x IN ｛2,``3｝]이다]는 왜 명제이냐 하는 것으로 생각됩니다.

저는 [eqn: 2x+8=3x+1] 은 [eqn: x=7] 의 또 다른 표현이지 않을까로 주어진 문제를 접근해 보았슴니다.(부연한다면, 2 보다 3 큰 수보다 3 작은 수는 복잡하게 표현하였지만 2를 의미합니다)

즉, 위의 방정식은 [eqn: x IN ｛7｝]을 의미하지 않을까 하는 것입니다.

이를 다르게 한 번 접근해 보겠습니다.

[eqn: x SUCC 3] 은 조건입니다.

그래서 [eqn: x SUCC 3]을 의미하는 부등식 [eqn: 2x-5 SUCC x-2] 은 조건입니다.

그리고  [[eqn: x IN ｛1,``2｝]이면, [eqn: x IN ｛2,``3｝]이다]는 [[eqn: ｛1,``2｝]⊂ [eqn: ｛2,``3｝]]로 생각하면 되지 않을까 합니다.

저의 생각이 하현성님께 도움이 되었으면 합니다.