통합검색

AI가 03/04/2026을 하나의 날짜로 확정해도 될까?

03/04/2026은 월/일/연이면 3월 4일, 일/월/연이면 4월 3일입니다. 입력과 순서를 바꾸며 해석·거부·정규화를 확인합니다.

AI 도구가 보낸 글자 ‘false’는 정말 거짓일까?

JavaScript에서 비어 있지 않은 문자열은 내용이 false여도 참으로 변환됩니다. 입력 자료형과 검사 정책을 바꾸며 실행 경로를 비교합니다.

증명 속 중간정리를 모두 걷어내도, 같은 결론에 도달할 수 있을까요?

다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gaisi Takeuti, On a Generalized Logic Calculus (1953)

앞 문장의 ‘한 사람’을, 다음 문장의 ‘그’는 어떻게 기억할까요?

흐룬데이크와 스토크호프의 「Dynamic Predicate Logic」(1991)을 따라, 문장의 뜻을 정보 상태 사이의 변화로 읽고 존재양화와 연언이 대명사의 선행 대상을 어떻게 전달하는지 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Jeroen Groenendijk · Martin Stokhof, Dynamic Predicate Logic (1991)

‘왜 그렇게 정했나요?’는 확인 질문일까, 반론 질문일까?

질문의 대상·답의 구체성·후속 발화를 바꾸어 확인된 사실, 합의, 남은 쟁점과 다음 발화를 비교합니다.

Using Effective Questions to Engage Students