A->B
= not A or B
이러면 not A or B 는 전체집합U가 되는거 아닌가요?
그래서 계산이 맞는건가요?
- dc official App
[일반] 이게 맞는 계산인지 확인좀 해주세요
익명(39.7)
2022-04-30 10:14
추천 0
댓글 5
다른 게시글
-
(A->B)=(Not A or B) 이거 증명좀 알려주셈.. [6][일반] 익명(39.7) | 22.04.30추천 0
-
중3때 수학 손 놨다가 작년 12월 말 부터 하고있는 고딩인데 [2][일반] 익명(gogo2020) | 22.04.30추천 0
-
이건 기본행렬인가요? [2][대학교이상] 익명(125.130) | 22.04.30추천 0
-
무한히미분가능한데 f'이 한점부근에서난리칠수잇음? [8][일반] 익명(118.235) | 22.04.30추천 0
-
이거 좌표가 어떻게 이렇게 나오는건가요? [2][대학교이상] 익명(125.130) | 22.04.29추천 0
-
고딩때 패션수학으로 바틀 해석학 파서 다행이다[일반] 익명(211.108) | 22.04.29추천 4
-
null space의 basis랑 canonical basis랑뭐가다름?[대학교이상] 익명(39.124) | 22.04.29추천 0
-
질문 드립니다.. [1][중고딩문제] 익명(1.245) | 22.04.29추천 0
-
포항이랑 헷갈려서 123분야중에 두개 선택해서 치는줄;; [2][일반] 익명(121.88) | 22.04.29추천 0
-
페르마마지막정리반례가나온단게뭔소리임 [2][일반] 익명(118.235) | 22.04.29추천 0
ㅇㅇ 항진명제임
그림의 계산은 맞는건가요? - dc App
근데 A랑B가 명제인거 같은데 전체집합 U가 나오는게 이상함
정답
계산은 맞는데 저기서 U가 왜나오는거임? A->B 라는 세팅은 애초에 A,ㄱA,B,ㄱB만 다루는 거라고 볼 수 있음 수학에서 전체집합이라는 개념은 존재할 수 없는 개념이지만 논의영역을 한정해서 보면 존재할 수도 있으니까. 저기 벤다이어그램 기준으로 논의영역을 보면 ㄱAVA=B, BVㄱB=B 겠네