통합검색

스위치를 켜지 않았는데, 켰다면 알람이 울렸다고 말할 수 있을까요?

스위치를 켜지 않은 현재 상태에서도 '켰다면'의 진위를 평가할 수 있을까요? 실제 상태와 가장 적절하게 선택된 가정 세계의 결과를 구별합니다.

Robert C. Stalnaker, A Theory of Conditionals (1968)

AI가 YAML의 yes를 스키마 확인 없이 참으로 읽어도 될까?

같은 yes·no·on·off를 YAML 1.1과 1.2 핵심 스키마로 번갈아 해석해, 글자 모양만으로 값의 종류를 정할 수 없는 경우를 확인합니다.

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

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

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

forall x: Calgary, Chapter 9: Characteristic truth tables

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

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

forall x: Calgary · The Material Conditional