살아가는 이야기

논리학에서 p->q 형태의 명제(proposition)에 대해 다음 세 가지 변형된 명제를 생각할 수 있다. 역: q->p 이: ㄱp->ㄱq 대우: ㄱq->ㄱp 이 중에서 대우는 본래 명제와 논리 값이 같다(근본적으로 같은 명제임). 그런데 영어로는 어떻게 부를까? 역은 converse, 이는 inverse, 대우는 contrapositive라고 부른다. 접두사 contra-는 '반대'라는 뜻이다. 즉 긍정 형태인 p, q를 반대로 한 ㄱp, ㄱq 형태를 사용하면서도 여전히 같은 의미의(원 명제를 긍정한: positive) 문장이라는 뜻이다. 역, 이, 대우 중 대우를 빼면 역, 이 순으로 이야기하게 되는데(실제 가나다 순도 마찬가지임) 대응되는 converse, inverse도 알파벳 순으로 같다는 것..