수학 용어

- 가환 : 연상의 순서를 바꾸어도 그 결과가 변하지 않는 일

- 공리(公理) : 증명할 필요가 없이 자명한 진리이자 다른 명제들을 증명하는데 전제가 되는 원리로서 기본적인 가정

- 공역복소수 : 복소수의 허수부에 덧셈 역원을 취하여 얻는 복소수

- 계(系) : 어떤 명제나 정리로부터 옳다는 것이 쉽게 밝혀지는 다른 명제나 정리

- 단사함수(injective function) : 정의역의 서로 다른 원소를 공역의 서로 다른 원소로 대응시키는 함수

- 대우 : 어떤 조건명제의 가정과 결론을 뒤바꾼 후 각각의 부정을 취한 명제

- 동치 : 두 문장이 논리적으로 같다는 것을 의미

- 명제(命題) : 참 또는 거짓을 검증할 수 있는 객관적 기준이 포함된 문장

- 상(商) : 몫

- 정리(定理) : 수학에서 가정으로부터 증명된 명제

- 직원주 : 직원기둥(축과 밑면이 직각으로 교차하는 원기둥)

직원주

- 필요충분조건 : 명제 'P이면 Q이다.'에서 Q는 P이기 위한 필요조건, P를 Q의 충분조건이라 함. 'P이면 Q이고, Q이면 P이다.'에서 P와 Q는 서로에 대해 필요충분조건