술어논리 조건문으로 바꾸는거 헷갈려 뒤지겠네

이산수학 갤러리
미니

정전갤

프로그래밍을 위한 이산수학을 공부하는 갤러리입니다.

매니저

없음

부매니저

없음

개설일

2022-06-07

[일반] 술어논리 조건문으로 바꾸는거 헷갈려 뒤지겠네앱에서 작성

ㅇㅇ(14.45) 2022.07.01 18:19:14

조회 135 추천 0 댓글 2

29bed223f6c675f43eed84e5438275707e2d4df8225b4f2ddef0e8f6fb73f85a5401a8b431f0b462208406c9cf1ca00a

None but me could have made the thing.

라는 문장이 있을 때 if-then으로 바꾸려고 했을 때 헷갈리네

1. if a person is me, then I could have made the thing

라고 아무 생각없이 적었는데 아님

2. if someone could have made the thing, then the person is me.

위 문장이 정답인 이유는 내가 있어야만 그걸 만들 수 있기 때문, 즉 내가 필요조건임

같은 문장으로

3. if a person is not me, then none could have made the thing.

2번 3번 문장이 대우로 논리적 동치임 ㅇㅇ

추가 설명으로 본 문장을 기호화하면

There is no person but me such that could have made the thing.

~(∃x (but me) in set of Person s.t x could have made the thing)

=∀ person x (but me), x could not have made the thing

= 3번 문장

= 2번 문장

결론 but me 때문에 헷갈렸다

- dc official App

고정닉 0

원본 첨부파일 1

dcbest-20220531-181322-000-resize.png

전체 댓글 0개

등록순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	말머리	제목	글쓴이	작성일	조회	추천
2872	설문	연예인 안됐으면 어쩔 뻔, 누가 봐도 천상 연예인은?	운영자	24/06/17	-	-
1	공지	이산수학 해야하는 이유와 교재 추천 [5]	*구텐딱*	22.06.07	2499	0
25	일반	부울대수 정규형 문제 헲	이갤러(118.235)	01.14	17	0
23	일반	선생님들 안녕하세요 책좀 추천 부탁드립니다	ㅋ(61.85)	23.10.14	31	0
21	일반	이산수학 제대로 해보려고하는데(질문)	ㅇㅇ(59.19)	23.02.09	97	0
20	일반	형들 나 좀 도와줘!!!!	아 ㅈ댔다(14.51)	22.08.01	51	0
19	질문	이산수학 증명문제 질문	ㅇㅇ(14.45)	22.07.02	287	0
	일반	술어논리 조건문으로 바꾸는거 헷갈려 뒤지겠네 [2]	ㅇㅇ(14.45)	22.07.01	135	0
16	일반	질문	ㅇㅇ(221.142)	22.06.13	43	0
15	개념	카운팅(counting) : 일대일 대응	잉크한사발	22.06.10	163	2
13	개념	몫과 나머지를 이용한 쉬운 문제 [1]	구텐딱	22.06.10	169	0
11	문제	이산수학 퀴즈 [1]	ㅇㅇ(123.108)	22.06.09	102	0
10	개념	R(3,3, ... ,3) <= [en!] + 1 증명 [1]	잉크한사발	22.06.09	188	3
9	문제	재밌는 이산수학 문제 풀수있나 테스트 해보셈	ㅇㅇ(58.230)	22.06.09	181	0
8	개념	램지 수(Ramsey numbers) [1]	잉크한사발	22.06.09	299	7
7	일반	기껏해야 임용고시생따위나푸는 문제나 논하는 갤 [1]	ㅇㅇ(223.38)	22.06.08	180	1
5	일반	이산기하도 다루나요? [1]	유라로렌스	22.06.08	124	1
3	개념	논증 추론 기본 개념	구텐딱	22.06.08	145	1
2	문제	짝수, 홀수 증명 문제	구텐딱	22.06.08	174	1