논리학 기초

행동을 하나의 논리 연산자로 다룰 수 있을까?

세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?

행동을 하나의 논리 연산자로 다룰 수 있을까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
행동논리 연구를 바탕으로 LTCT가 자체 재구성했습니다. 원 논문 그림을 복제하지 않았습니다.
그림 크게 열기 ↗SVG 저장

그림에서 무엇을 볼까요?

행동을 하나의 논리 연산자로 다룰 수 있을까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

도서 대출을 회원 확인, 재고 확인, 기록 증가로 적습니다. 순서가 바뀌면 경합 상태가 생겨 각 전이 조건이 필요합니다.

예시에서 한 조건만 바뀌었는지 확인하고 본문 숫자·비교 방향과 그림의 카드가 일치하는지 대조합니다. 같은 결론도 분모나 기준 시점이 다르면 다른 주장입니다.

함께 확인할 점

체계마다 시간·종료 가정이 다르고 형식 보장은 명세가 정확하다는 조건부 결과입니다.

공개본에서 확인한 범위를 넘어 저자나 참가자의 속성을 추측하지 않았고 발행일과 개정일을 구분했습니다.

생각해 볼 질문

[S]Q가 참이면 S는 반드시 실행 가능한가요?

함께 볼 그림

정보가 늘면 가능한 세계의 수는 왜 줄어들까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식정보가 늘면 가능한 세계의 수는 왜 줄어들까?중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
← 논리학 기초 그림 더 보기