하시발 이걸왜 못알아먹지
게시글 주소: https://orbi.kr/00069352914

∀x(x∈A∪A^c) 이 식은 참인데
"모든 x가 A또는 A^c에 속한다" 라는 의미고
이말은 모든x가 원소로서 존재해야한다는 말입니다
모든x에서 x는 무엇이든지 될수있고
모든것(x)이 우리세계(A)나 다른세계(A^c)에 존재한다
는 말입니다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
저능아 등장! 0 0
-
오해 업스시길 바랍니다 0 0
제 닉네임은 자의가 아닌 타의에 의한 거심 15만덕 주고 바꾸고 싶다? 언제든지
-
라의 절대 창조 신성검 2 0
-
학식 개처맛잇네 5 0
송도 있을 때보다 신촌 오니까 훨 맛있네
-
시중 스킬 모두 마스터한 의대생의 생명과학 1 책 0 0
안녕하세요. 경북대학교 의예과 23학번 지니입니다. 생명과학 1을 어려워하는...
-
개웃기네 2 0
킹받게하기너무재밋어 본인은 충분한코알라임
-
돈이 많았더라면 2 0
의대를 오지 않았을거같다 이 문장에 동의하는 의대생 비율이 얼마나 되려나?
-
집에 가고 싶어도 못 가 5 0
치즈 베이글 시켯어
-
망갤테스트 8 0
-
다항함수 질문 6 0
f, g, h 셋 중 다항함수는 무엇인가요…? 개념이 헷갈려서ㅠ 저능질문 죄송합니다
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
안녕하세요 늒네에요 0 0
ㅎㅇ
-
릴스 보다가 화들짝 놀람 3 1
ㄷㄷ이 경 돌맹이게이릴스진출 축?
-
Like this old man
-
오늘의 국수영 실모 1 1
언89 기100 영89 국어: 문학 21분-> 매체+언어단독3문제 11분 ->...
-
학교 자퇴했는데 단톡방초대됨 6 0
구경이나해야지
-
현역 에리카 전자면 평타인가요 2 0
학벌 컴플렉스 때문에 손에 잡히는게 없는데 진짜 반수해야하나
-
언매 화작 0 0
지금 언매 문장파트 하고잇는데 너무 어려워요 작수 6떳는데 전 국어 이번 수능에서...
-
제가 정보 얻고 있는 곳들 입니다. 입시랑 학업에 도움되는 곳들 더 많이 알고싶어요...
-
오늘의 점심은 수제비~ 4 0
-
사선피어싱함 6 0
ㅈㄴ아픔
-
그랬던거같음
-
아무것도 하기싫다 2 0
아무것도 안하고 있지만
-
글 1 0
쓰기싫다
-
오늘 할일 3 0
머리자르기 학교가기 헬스장가기 과와가기 전적대 동기만나기 끝~
-
하...조별과제 빌런 0 0
패버릴까
-
저도 뉴비입니다! 3 0
안녕하세요 똥글러입니다
-
그게 맘처럼 안 되네
-
맛보기로 둘다 들어봤는데 둘다 괜찮기는 함 근데 뭐랄까 둘이 추구하는 읽기 방식이...
-
뉴르비에요 15 0
ㅎㅇㅎㅇ
-
브크 어케 체화함? 0 0
복습 어케하는지 감이 안 잡히네 ㅋㅋ
-
안녕하세요 오르비에서 활동하고 있는 구름정원입니다. 3월 모의고사가 다가오는...
-
큐브 별점테러 씨발년 1 0
알빠노긴한데 개패고싶네
-
본인 여친 생김 7 0
ㄹㅇ
-
조상님께 정성 한번 드리세요~ 1 1
조상님의 공덕을 인정해드려야 모든 일이 술술 풀립니다
-
엄...
-
리플리가플리를만들면? 9 0
리플리플리
-
현실적으로 확통런이 맞겠죠 9 0
사실 세젤쉬/미친기분(시작)/쎈B 확통 방금 결제하고 오는 길임 수학 노베지만...
-
본인 사실 초절정미소년임 8 0
ㄹㅇ이라는 거임
-
사문 자작문제 풀어보세요 2 1
사회문화 도표랑 채점 문항 어디서 본 것 같은데 꼬아놨네 싶은.. 피드백은 환영합니다
-
옯서운 사실 6 0
추천 모아보기 임티는 진짜로 있는건데 글쓰기만 약간 다른 그림임
-
안녕하세 9 0
요
-
솔직히 셀카 보면 행복함 8 0
배경화면이 내 셀카임
-
마통 250 있는데 이걸로 아이패드 신형 사는 거 오바임? 4 1
저 패드 19년도에 나온 에어3 64기가짜리 쓰고있는데 용량도 너무 작고 느려서...
-
한마디만 함 3 0
-
심찬우 새 교재 이름 추천 1 1
심: 심찬우의 천: 천재적인 지: 지적 사고능력 심: 심찬우와 상: 상상 모의고사...
-
우욿슨하다
-
플레이봇 검 키우기 하는데 1 0
친구가 없어서 검 강화를 못함
-
내 이름은 초절정 미소녀 10 1
줄여서 시루떡
-
제 모든걸 공개하겟음 11 0
제 오르비 기본정보임
틀리셨습니다. 현대 논리학에서 양화사 ∀x 를 포함하는 명제는 반드시 x의 존재성을 보장하지 않습니다. "모든 x에 대해 p이다" 라는 명제는 설령 x가 존재하지 않더라도 참이 될 수 있습니다
모든 x가 U에 속한다면, 모든x가 일단 원소로서 존재해야만 하는것 아닙니까?
아닙니다... 그 가정이 틀렸어요. 모든 x에 대해~ 라고 진술하는 명제는 반드시 x의 존재성을 가정하지 않습니다.
∀x(x∈A∪A^c) 이식은 참이라고 하던데요?
네 맞아요. 하지만 '모든 x'와 같이 양화사 ∀를 포함하는 명제는 x가 실존하지 않아도 참이 될 수 있습니다.
아니 제말을 잘들어봐주세요. "모든x가 U에 속한다" 가 참이라면 모든x가 원소로서 존재한다는 말이잖아요
아뇨.. 더 이상 그만 우기세요. 그 명제는 x의 존재 여부와 무관하게 항상 참인 명제입니다
아니 제말이 왜틀렸죠?
x가 실존하지 않는다는건 애초에 ∀x가 아니란말이잖아요
논리학에서 양화사 '모든' 은 반드시 그 대상이 존재해야만 참이 된다고 보지 않으니까요... 우선 존재해야만 한다<<<<이게 틀린 가정이라는 거에요.
∀x(x∈A∪A^c) 이식이 참이니까 x가 원소로 존재할수 밖에 없다고요
x가 실존하지 않는다는건 애초에 ∀x가 아니란말이잖아요
그게 아니라는겁니다. X의 존재 여부와 무관하게 모든 x라는 표현은 성립할 수 있어요. x가 존재해야만 모든 x라는 표현이 가능하다 보는건 고전 논리학의 관점입니다
x가 없으면 애초에 ∀x가 아닌데요
제말 왜곡하지마세요 모든x가 U에 속하므로 모든x가 원소로서 존재하는겁니다
이 사람 어그로입니다
먹이 주지 마십쇼 선생님
네 그렇게 생각하세요
"x가 없으면 애초에 ∀x가 아닌데요" 이말이 틀렸나요?
어떤원소가 없으면 모든원소라고 할수가 없는데
하.. 왜 그렇게 반응하시죠?
현대 논리학, 특히 20세기 이후의 논리학에서는 '존재'와 '양화'의 개념이 더 명확하게 구분됩니다. 현대 논리학에서의 전칭양화사(∀, "모든 x")는 존재를 직접적으로 가정하지 않습니다. 즉, "모든 x에 대해 P(x)가 참이다"라는 명제가 참이 되려면, 해당 범위 안에서 거짓이 될 수 있는 항목이 없다는 것만을 의미하지, 실제로 그 범위에 속하는 x가 존재해야 한다는 것을 의미하지는 않습니다.
특히 현대 수리논리학에서는 공집합과 같은 개념이 많이 등장하는데, 공집합에 대한 모든 명제는 자동적으로 참으로 간주됩니다. 예를 들어, 공집합에 속하는 모든 x에 대해 P(x)가 참이라는 명제는 공집합 안에 아무 것도 없기 때문에 참으로 간주됩니다. 이처럼 현대 논리학에서는 존재와 무관하게 양화사를 다루는 경향이 더 강합니다.
∀x(x∈A∪A^c) 가 참이니 모든x가 U의 원소라는 말이 그렇게 이해가안됨?
그리고 (모든x에 대해 x가 U에 속한다) 라고할때 어떤x가 없으면 (모든x)라고 할수도 없다고요
위에것도 gpt 답변인데요...
"공집합에 속하는 모든x" 이게 대체 뭔말이죠
잘 읽었습니다. 혹시 '어몽어스가 의심스럽다' 라는 명제도 증명해주실 수 있나요?

오늘도 열일하시는 쿠쿠리햄♡하나 더 지적하고 가겠습니다. A라는 집합을 우리 세계에 실존하는 대상이라고 잡았을 때, A^c는 말 그대로 A에 속하지 않는 모든 것이 될 수 있습니다. A^c에 속한다는 것이 반드시 다른 세계에 실존한다는 의미가 될 수 없죠.
A^c에 속한다는 것은 '우리 세계에 실존하는 대상이 아니다' 와 같은 의미가 되고, 여기에는 곧 소설 속 세계와 같이 우리 세계에 속하지만 상상에서만 존재하고 실존하지는 않는 대상들, 우리 세계와 다른 세계에도 없는 대상들, 우리 세계에만 없는 대상들...등등 말 그대로 우리 세계에 실존하지 않는 모든 것들이 들어갈 수 있습니다.
따라서 저 명제가 항상 참이고, 심지어 x가 존재한다 하더라도 그것이 항상 실제로 존재한다로 이어지지는 않습니다....
하........∀x(x∈A∪A^c) 가 참이니 모든x가 U의 원소라는 말이 그렇게 이해가안됨?
그 말은 맞지만 그것이 꼭 x의 존재성으로 이어지지도, 실존성으로 이어지는게 아닙니다.
x가 원소로서 존재한다면 그리고 집합이 세계라면 세계안에x가 있겠죠
전체집합은 말 그대로 '전체'이기에 님 마음대로 전체를 세계로 한정지으시면 안됩니다.
A가 우리세계고 A^c가 다른세계입니다
그런데 A에 속한다고 반드시 우리세계에 실존한다는건 아니잖아요? 해리 포터나 마블 영화 세계관은 우리 세계에 속하는 것이지만 실제로는 가상의 세계관인것처럼
해리포터가 진짜인 세계가 있을겁니다
해리포터가 진짜인 세계가 있을겁니다
넵!
제가 왜이렇게 고집피우고 난리치는지 이해하실거라 믿습니다
x가 존재한다는 가정이 문제인거 아닌가요? 논리학에 대해선 그리 많이 알지 못하지만 작성된 댓글을 보며 든 생각은 타당성과 건전성에 혼란이 있으신것 같은데... 주장하시는 논증은 타당하지만 x가 존재한다는 명제의 참이 보장되지 않으니 건전성에 결핍이 생기지 않나요? 존재하지 않는 x를 존재한다고 하는 명제의 참 거짓이 문제가 된다는것 같습니다
x가 원소로서 존재한다면 그리고 집합이 세계라면 세계안에x가 있겠죠
우리가 세계에서 관측불가한 것이 실존하다고 설정하신거라면 그리고 그것들이 전체집합내에 존재한다고 가정하신거라면 주장하시는 논증은 타당하다고 생각합니다. 다만 그것이 과학적으로 가치가 있는지는 모르겠습니다.
쿠쿠리 그저 신
님
1=2라면, 3=4이다. 참임 거짓임?
참요