통합검색

‘같은 반’은 이어지는데 ‘친한 사이’는 왜 안 이어질까?

자기 자신·양방향·관계의 이어짐을 따로 점검하고, 관계선 하나를 바꾸며 동치 관계가 되는 조건을 확인합니다.

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?

일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.

Generalized Quantifiers

한 집단에서만 유의하면 집단별 효과도 다른 걸까?

A 집단 +6점은 유의하고 B 집단 +2점은 유의하지 않아도, 직접 차이 +4점의 95% 구간은 −1.7~+9.7점일 수 있음을 계산합니다.

반복과 대칭에서 질서를 발견하다

두 정사각형이 별을 만들고, 팔각형 사이의 빈칸이 다음 조각을 부릅니다. 실제 공예품과 세 가지 도해를 따라 반복의 규칙을 읽으며, 모양·배치·색 가운데 무엇을 같다고 판단하는지 살펴봅니다.