집합 V⊆N를 V := { n∈N : n ＜ 1000 }으로 두자.
(1)과 (2)를 만족시키는 임의의 관계 E⊆V×V에 대하여 어떤 관계 R⊆V×V이 존재하여 (3), (4)와 (5)가 만족함을 보이시오.
1) (∀x∈V) (∀y∈V) (x E y ↔ y E x) ∧ (∀x∈V) ￢ (x E x).
2) (∀S⊆V×V) (((∀x∈V) (x S x) ∧ (∀x∈V) (∀y∈V) (∀z∈V) ((x S y ∧ y S z) → x S z) ∧ (∀x∈V) (∀y∈V) (x E y → x S y)) → S = V×V).
3) (∀x∈V) (∀y∈V) (x R y ↔ y R x) ∧ (∀x∈V) ￢ (x R x).
4) (∀x∈V) (∀y∈V) (x R y → x E y).
5) (∀x∈V) (∃k∈N) (#{ y∈V : x R y } = 2 * k + 1).
단, N = {0, 1, 2, ...}이다.
제발 보기편하게 문장으로 써라 이렇게 쓰지말고
미안 형 한 번만 봐줘
2)의 두번째는 없어도 될 것 같아요~ 5)에서는 자기자신과의 관계를 고려해 수정하면 좋을 듯하구요~!!
일단 약간 수정했어요. 그런데 (2)의 두 번째가 없으면 "흙길을 따라 임의의 두 도시 사이를 이동 가능하다고 한다."를 어떻게 나타내나요?
무슨문젠데
https://gall.dcinside.com/board/view/?id=mathematics&no=315638
아니 문제를 왜 더 복잡하게 표현하려고해
내가 기괴해서 그럼
그리고 2번이 이상한데
일단 피드백 너무 감사함. 그런데 "흙길을 따라 임의의 두 도시 사이를 이동 가능하다고 한다."를 코딩한 게 2번인데 틀렸음??
아 방금 이해함
니가 아까 썼다지운글의 문제는 거기는 도시가 3개, 즉 홀수개있다는거임. 저 아래문제는 도시가 천개, 즉 짝수개있음
넹 저도 알고 삭제했어요. 그런데 알림이 뜨네요. 정말 죄송해요.