수학사랑

' p→q 즉, p이면 q이다'와 같은 형태의 명제에서 p가 가정이다.

假는 '거짓, 임시', 定은 '정하다'를 의미하므로 假定에는 '거짓으로 또는 임시로 정하다'의 뜻이 있다.
일상적으로 가정에는 '(사실이 아니거나 사실인지 아닌지 분명하지 않은 것을) 어떤 논리를 펴 나가기 위하여 사실인 것처럼 받아들이는 것'의 뜻이 있으나, 수학에서는 특별히 '어떤 논리를 펴 나가기 위하여 사실인 것처럼 받아들이는 명제'를 의미한다.

가정을 영어로는 assumption(←assume)이라고 한다. assume에는 '가정하다'의 뜻이 있다. 가정을 영어로 hypothesis(←hypothesize)라고 하기도 한다. hypothesize에는 '가설을 세우다, 가정하다'의 뜻이 있다. '가설'에는 '어떤 사실을 증명하기 위하여 임시로 이용하지만, 아직 증명이 되지 않은 이론이나 명제'의 뜻이 있다.

' p→q 즉, p이면 q이다'와 같은 형태의 명제에서 q가 결론이다. 結는 '맺다, 끝내다', 論은 '말하다'를 의미하므로 결론에는 '맺는 말, 끝내는 말'의 뜻이 있다. 일상적으로 결론에는 '어떤 문제에 관한 여러 말과 생각 따위를 정리하여 마지막으로 내린 판단'의 뜻이 있다. 수학에서는 특별히 '가정으로부터 논리적으로 이끌어낸 명제'를 의미한다.

결론을 영어로는 conclusion(←conclude)이라고 한다. conclude에는 '결론을 내리다'의 뜻이 있다. conclusion의 어원은 라틴어 co와clausus가 합쳐진 것으로, co는 강의어(强意語)이다. clausus의 뜻은 '닫다(to close)'이다. 결론이란 논리적 주장을 닫는 것이기 때문에 conclusion이라고 하는 것이다.