통합검색

가능하다는 말은 어디까지 보장할까?

한 가지 가능한 계획과 모든 계획에서 유지되는 조건을 구분합니다. 양상논리를 작은 일정표로 읽어봅니다.

Modal Logic

그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

그림을 읽으려면 범례도 읽어야 합니다. 집합 그림의 빈 영역과 존재 표시를 통해 시각추론의 규칙을 살펴봅니다.

Diagrams and Diagrammatical Reasoning

같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?

정보가 같다는 것과 찾아 쓰는 비용이 같다는 것은 다릅니다. 표와 문장의 탐색 경로를 비교합니다.

Why a Diagram is (Sometimes) Worth Ten Thousand Words

‘그리고’와 ‘또는’이 계산이 되기까지

조지 불의 문제의식에서 출발해 두 조건을 결합하는 작은 논리표를 만납니다.

조건문의 대우는 왜 같고, 역은 왜 다를까?

출입 기록 네 가지를 모두 놓고 원래 조건문·역·대우의 참과 거짓을 한 줄씩 비교합니다.