통합검색

‘모두 오지 않았다’는 몇 명이 왔다는 뜻일까

부정이 ‘모두’보다 넓게 작용하는지, 각 사람에게 작용하는지 구분하고 문맥 단서에 따라 가능한 참석 인원을 다시 계산한다.

Generalized Quantifiers

다각형을 촘촘히 그리면 원의 넓이를 증명할 수 있을까?

아르키메데스의 『원의 측정』은 원의 넓이가 반지름과 둘레를 두 변으로 하는 직각삼각형의 넓이와 같다고 증명합니다. 내접·외접 다각형이 원에 가까워진다는 눈대중을 넘어, 두 양 사이에 양의 차이가 있다고 가정할 때 더 촘촘한 다각형이 만드는 모순을 따라갑니다.

‘회의실이나 온라인으로 참여’에서 회의실을 골랐으면 온라인은 금지일까?

포함적·배타적 ‘또는’과 직접 확인한 사실을 바꾸어 가능한 참·거짓 조합, 모순과 필연적으로 따라오는 결론을 다시 계산합니다.

forall x: Calgary — Connectives and characteristic truth tables

잔디가 젖었으니 분사기가 켜졌다고 말해도 될까?

조건문의 결과를 보았다고 원인을 거꾸로 확정하는 오류를, 다른 원인과 직접 기록을 바꾸며 반례로 고칩니다.

forall x: Calgary · Chapter 2 — The scope of logic

서로 모순이면 어느 쪽이 틀렸는지는 아직 모른다

정확히 같은 대상·시각·의미에 관한 명제와 그 부정은 함께 참일 수 없다. 그러나 모순이 있다는 사실만으로는 두 진술 중 어느 쪽이 참인지 정할 수 없다는 구조를 읽는다.