통합검색

질문 속 전제가 확인되지 않았다면 ‘예·아니요’부터 답해야 할까?

질문이 요구하는 직접 답변과 숨은 전제를 분리하고, 전제의 확인 상태에 따라 직접 답변·확인 요청·교정 답변 경로를 바꿉니다.

Questions

표시등이 꺼졌으니 연결되지 않았다고 말해도 될까?

한 방향 조건문과 필요충분 규칙, 관찰 사실을 바꾸어 가능한 경우와 필연 결론, 잘못된 역추론을 구분합니다.

forall x: Calgary, Chapter 9: Characteristic truth tables

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

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

Generalized Quantifiers

AI 번역에서 ‘않다’ 하나가 빠지면 결론도 뒤집힐까?

부정 표현이 누락되거나 엉뚱한 말에 붙으면 문장 결론이 바뀝니다. 사례·부정 보존·범위를 바꿔 번역 검수표를 확인합니다.

원 안에 문장을 넣으면 ‘아니다’를 계산할 수 있을까?

19세기 말 찰스 샌더스 퍼스는 문장을 괄호와 기호의 줄이 아니라 종이의 영역과 닫힌 선으로 배치했다. 빈 종이, 병치, 절단선, 이중 절단선이 어떻게 참·그리고·아니다·이중부정을 나타내는지 읽고, P와 ‘P이면 Q’에서 Q를 얻는 과정을 그림의 변형으로 검산한다.