위이 예 에서 알 수 있 듯이 , { 까지 } 는 긍정 극성 을 나타내 는 표지 로서 기능 이 더 강하 고 , { 조차 } 와 { 마저 } 는 부 정극 성 을 나타내 는 표지 로서 의 기능 이 더 강하 다는 차이점 이 있 다 . 이러 한 교차 적 극 연결 의 관계 는 양보 의미 를 만들 어 내 는 동시 에 또 다른 의미 적 개념 을 생성 하 는데 , 그것 이 바로 함의 ( entailment ) 이 다 . 함의 는 두 명 제 사이 의 내부 관계 를 기술 하 기 위해 도입 된 개념 으로 , 예 를 들 어 명제 p 가 명제 q 를 함의 하 기 위해서 는 명제 p 가 참 ( true ) 일 때 반드시 명제 q 도 참 이 어야 한다 . 예 를 들 어 보 자 .