통합검색

사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?

2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.

Second-order and Higher-order Logic

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

모두의 담당자와 모두를 맡은 한 사람은 같을까?

유물마다 검사자가 있다는 기록에서, 한 사람이 모든 유물을 검사했다는 결론을 낼 수 있을까요? 아홉 칸을 바꾸며 두 문장을 비교합니다.

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

참가자 찬성 6 반대 4 합계 10, 불참자 찬성 20 반대 10 합계 30인 표. 찬성자 합계는 26이다.

‘모두 제출했다’가 거짓이면 아무도 제출하지 않았을까?

네 사람 가운데 한 명만 미제출이어도 모두 제출했다는 문장은 거짓이지만 아무도 제출하지 않았다는 문장은 거짓인 비교 그림