본 연구에서는 형식적 함의에 대한 역사적 발달과정을 살펴보고 형식적 함의에 대하여 대학생들이 어떻게 이해하는지를 분석하였다. 또한 고등학생들과 예비대학생들을 대상으로 카드모임에 대한 실제적 함의에 대하여 조사한 결과 주어진 카드 모음에서 성립하는 패턴을 명제 p→q로 나타낼 때에는 명제 p→q를 ~p∨p와 동치인 명제로 이해하는 학생들이 가장 많았지만 명제 p→q가 성립하는 카드를 모으는 과정에서는 조건명제 p→q를 p∧q와 동치인 명제로 이해하는 학생들이 가장 많은 것으로 조사되었다.
본 연구에서는 형식적 함의에 대한 역사적 발달과정을 살펴보고 형식적 함의에 대해 대학생들이 어떻게 이해하는지를 분석했다.