[일반] 이거 어디가 잘못된고얌

[익명(49.167)]

?????

- dc official App

[1212(souvenir)]

안 잘못됐음. 원명제를 증명하는거나 ac greater than bc implies either (a greater than b) or (c negative) 를 증명하는거나 결국은 같은거가 되는거고 결국 아무것도 증명된건 없지만 잘못된 것도 없음

[1212(souvenir)]

니가 지금 정확히 뭐를 모르겠는지 자세하게는 모르겠지만, 만약... 예를 들어 if p then q를 증명하려고 대우명제 if -q then -p 를 고려한다고 해보셈. 그러면 if -q then -p 를 증명하면 원명제를 증명한 셈이 되는거임. 이때 맨 처음에 증명하려고 했던 명제는 물론 만약 p이면 q이다, 즉 p가 참인 상황을 가정하고 출발하지만 그렇다고 해서 거기서 대우명제를 써놓고는 -p는 p가 참이라는 전제에 위배되므로 거짓이다 이렇게 생각하면 큰일나ㅡㄴㄴ거임

[1212(souvenir)]

다시보니까 잘못은 됐네 등호가 빠졌으니

[1212(souvenir)]

한 마디만 보태면, 저 명제를 써놓고 도대체 뭐를 하려고 하는지는 잘 모르겠지만, 일반적으로 저거는 그냥 ordered field의 정의임. 보통 ordered field를 정의할때 1. if y less than z then x+y less then x+z 랑 2. if y less than z, x greater than 0, then xy less than xz로 정의를 주고 이거의 의미는 결국 field operation에 의해 order가 보존된다는 의미임. 따라서 저걸 써놓고 구체적으로 뭐가 하고 싶은건지 왜 대우를 취하고 있는건지 잘 모르겠고... 차라리... 니가 써놓은 저 명제랑, if x,y가 둘 다 양수이면 xy도 양수이다 라는 명제랑 동치인데 그게 왜 동치인지를 고민해보는 것도 조을듯