통합검색

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

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

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

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

Hybrid Logic

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

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

색을 조건에 넣으면 회전의 답이 달라진다

같은 여덟 갈래 별을 0도, 45도, 90도 회전한 세 그림이다. 갈래의 초록색과 금색을 번갈아 칠했다. 45도 회전한 가운데 그림은 원래 그림과 색의 위치가 바뀌고, 90도 회전한 오른쪽 그림은 모양과 색이 모두 원래와 일치한다.

‘사람을 사랑한다’와 ‘말을 탄다’가 대칭이 아닌 까닭

사람을 사랑한다는 문장은 세 사람 모두가 포함되어야 하고, 말을 탄다는 문장은 세 필 가운데 한 필만 선택되어도 된다는 차이와 각 부정 조건을 비교한 도해