직접 만든 논리 문제 투척
5
24.08.14
·
조회 1246
저가요 이번 학기에 이산수학 개론을 가르치게 됐습니다.
근데 이산수학 첫 챕터가 논리학이걸랑요.
수업 자료도 미리미리, 과제도 미리미리 만들고 있는데, 막상 만들고 보니까 재밌는 퍼즐 문제처럼 되어서 한번 공유해봅니다.

스파이더맨, 데드풀, 울버린이 임무를 맡았다. 아래는 그들의 임무 보고서이다.
- 스파이더맨은 성공했다 혹은 데드풀은 성공했다.
- 데드풀이 성공했다면, 울버린은 실패했다.
- 스파이더맨은 실패했다 혹은 울버린은 성공했다.
이 보고서에 기반해 다음의 질문들을 답하라.
- 스파이더맨이 성공했다고 가정하자. 데드풀과 울버린의 성공 여부를 결정지을 수 있는가?
- 데드풀이 성공했다고 가정하자. 스파이더맨과 울버린의 성공 여부를 결정지을 수 있는가?
- 울버린이 성공했다고 가정하자. 스파이더맨과 데드풀의 성공 여부를 결정지을 수 있는가?
와이프한테 보여주니까 자기는 이런 문제 너무 싫다고 기권 선언을 하네요. 여러분들 한번 츄라이 츄라이.
댓글
어려워서잘풀겠는데요
24.08.14
교수님 여기서 대학원생 구하시는 건 곤란합니다...
정수론민수
24.08.14
히히히 눈치채다니 제법이군. 다음엔 정수론 문제로 돌아오겠다!
Lobster
24.08.14
스파이더맨 성공 울버린 성공 데드풀 실패 / 데드풀 성공 울버린 실패 스파이더맨 실패 / 울버린 성공 데드풀 실패 스파이더맨 성공 ?
정수론민수
24.08.14
정답입니다!
이상적
24.08.14
1. O(울버린 성공, 데드풀 실패)
2. O(울버린 실패, 스파이더맨 실패)
3. O(데드풀 실패, 스파이더맨 성공)
정수론민수
24.08.14
정답입니다2!
이상적
24.08.14
문제 매일 내주세요
@정수론민수
Foucault
24.08.14
Yes Yes Yes
천재일까
24.08.14
혹은 이라고 표현한게 전자와 후자중 하나만 진실인건지 아니면 둘중 하나는 최소 진실인건지 모르겠어요.
정수론민수
24.08.14
수학에서 '혹은'은 둘 중 최소 하나는 입니다. XOR은 잘 사용하지 않더군요.
고기만두콘
24.08.14
1 울버린 성공 데드풀 모름
2 울버린 실패 스파이더맨 실패
3 둘 다 모름
다함께아차차
24.08.14
제 풀이 적어봅니닷
a) 스파이더맨이 성공한 경우, 3번에 의해 울버린은 실패하면 안 됨 -> 울버린 성공.
울버린이 성공한 경우 2번에 의해 데드풀 실패.
b) 데드풀이 성공한 경우, 2번에 의해 울버린은 실패.
울버린이 실패한 경우 3번에 의해 스파이더맨은 성공하면 안 됨 -> 스파이더맨 실패
c) 울버린이 성공한 경우, 2번에 의해 데드풀 실패.
데드풀이 실패한 경우 1번에 의해 스파이더맨은 실패하면 안 됨 -> 스파이더맨 성공
재밌는 문제 감사합니다 ㅎㅎ 히어로녀석들 미션 왤캐 실패율이 높아!
정수론민수
24.08.14
정확한 해설입니다! 사실 저는 표를 그려서 해결하게 유도하고 싶었는데, 문제만 잘 분석해도 충분히 해결할 수 있는 문제가 되었네요!
정수론민수
24.08.15
어떤 조건부 명제가 참이라면 대우 명제도 참입니다. 그러므로 임무 보고서 2번 명제의 대우 역시 참이에요.
인생이무료free
24.08.15
아 맞네요 ㅎㅎ
@정수론민수
인생이무료free
24.08.15
엇 그런데 데드풀이 성공이면 울버린은 아니라고 했는데 1번 질문 상황은 데드풀이 아닐때 울버린을 묻는거잖아요? 그런데 데드풀이 성공하든 실패하든 울버린이 실패하는거라면 말이 되지 않나요
@정수론민수
정수론민수
24.08.15
조건 1, 스파이더맨이 성공했거나 데드풀이 성공했다는 둘 중 딱 한명만 성공했다는 것을 의미하진 않습니다. 스파이더맨과 데드풀 둘 다 성공할 수도 있지요.
1번 문제의 경우는 조건 3부터 따져봐야 합니다. 스파이더맨이 성공했다는 가정 하에서, 조건 3이 참이 되기 위해서는 울버린이 성공해야만 합니다. 그리고 조건 2의 대우 명제에 의해 데드풀은 실패해야만 하죠.
@인생이무료free
인생이무료free
24.08.15
아하 완전 다르게 생각햏내요
@정수론민수
📖취미 전체글
달빛으로 글자 '달' 적는 법
3
경제 뉴비를 위한 오늘의 경제뉴스 요약(240819) - 잇코노미
15
강아지 구름
작년에는 옆나라에서 우승 타이틀을 받았습니다.
23
따봉
32
오늘 난 무서운 게 없다.
6
경제 뉴비를 위한 오늘의 경제뉴스 요약(240816) - 잇코노미
13
아주 짧은 SF소?설
3
또 다른 논리문제 하나 투척
1
[추천] 윤동주 - 하늘과 바람과 별과 시
경제 뉴비를 위한 오늘의 경제뉴스 요약(240815) - 잇코노미
14
광복절 기념 소장한 독립군 제품들 올려봅니다.
4
경제 뉴비를 위한 오늘의 경제뉴스 요약(240814) - 잇코노미
16
또 그림 한장
7
인도 호수에서 생긴일
16
중학교때부터 그려온 자전거 자동차 그림들
3
하츄핑 설명회를 보고
21
캐나다의 잿빛도시, 토론토에서 즐기는 탐조생활 (2)
1
고3 19년 인생 최대 자랑거리
38
현재글
직접 만든 논리 문제 투척
20