통합검색

‘벌써 떠났다’와 ‘이미 떠났다’는 같은 장면을 그릴까?

시간 표지·사건 상태·화자의 예상을 바꾸어 선행 사실, 예상보다 빠름, 계속되는 상태를 구분합니다.

온라인가나다: ‘벌써부터’

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

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

Generalized Quantifiers

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

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

창문을 20분 열면 교실 공기는 얼마나 바뀔까?

시작·실외 농도, 공기교환률과 시간을 바꾸어 완전혼합 감쇠 모형의 예상 농도와 한계를 함께 읽습니다.

Indoor Air Quality Tools for Schools

지원 통로를 이용했으니 모두 우선카드를 가진 사람일까?

직원 동행·임시 허가 조건을 바꾸어 원규칙과 역조건을 따로 검사하고 역조건을 무너뜨리는 허용 반례를 찾습니다.

forall x: Calgary · The Material Conditional