Metal Blue.

함의 : 명제 p, q가 있을 때
p가 q를 함의한다는 것은
p의 참이 q의 참을 보증한다,

전제 : 명제 p, q가 있을 때
p가 q를 전제하는다는 것은
p의 진리치와 상관없이 q는 항상 참이 된다

전제와 함의 가장 큰 차이는 본 문장을 부정할 경우 함의하는 문장의 진리치가

전제의 경우 본문장의 진리치와 상관없이 참이지만

함의의 경우 본문장이 거짓일 경우 함의하는 문장의 진리치를 알 수 없게 되는 것.

예를 들어 함의의 예인
혁명가가 독재자를 암살했다
독재자가 죽었다

의 경우 본문장을 부정할 경우
혁명가가 독재자를 암살하지 않았다, 혹은 못했다가 되는데, 이 경우 독재자가 반드시 살았다고 할 수는 없다.

전제의 경우
나는 네 샌드위치를 먹은 것을 후회한다.
나는 네 샌드위치를 먹었다.

이 때, 본문을 부정하면 나는 네 샌드위치를 먹은 것을 후회하지 않는다. 못한다(?)가 되지만
이경우 나는 네 샌드위치를 먹었다는 사실에는 변함이 없다.


-------------------------------
우선 대충 구별하는 방법만...

전영철 선생님의 수업, 수업 노트,

John. I. Saeed, Semantics, second edition, Blackwell publishing 의 예문 등에서 정리