수학사랑

어떤 명제 p 에 대하여 p 가 아닌 명제, 즉 ~p 가 명제 p의 부정이다.

부정은 negation을 번역한 것으로 한자로는 否定이라고 쓴다.

negation → 否定 → 부정

p 가 아니기에 '否定'의 뜻을 가진 negation이라고 한 것으로 negation을 번역하면서 일상어인 '否定'을 차용한 것이다.

否는 '아님'을 나타내는 말이고 定은 인정(認定)의 의미이다.

일상적으로 否定에는 '그렇지 아니하다고 단정하거나 옳지 아니하다고 반대함'의 뜻이 있다.