아니 님들아 모든것이 존재함을 증명했다고요
∀x(Ex) 의 뜻은 모든x가 존재한다 이고 이 식의 부정형은
∃x(¬Ex) 인데 이식의 뜻은 존재하지않는것이 존재한다
라는 뜻이라서 부정형이 모순이고 따라서 원명제인
∀x(Ex) 모든것이 존재한다 가 참
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
마쓰야마로 슈웅
-
깜짝놀람
-
수능을 올해로 떠나보내는 나의 라스트 댄스 가자!
-
지거국만이라도 가게해주세요
-
정답은 2016학년도 가형이었습니다~
-
아으
-
몇시쯤에 시작해서 몇 지문 본다 이런게 있나요 예열 처음이라
-
올해 육구모랑 작수 국어 다 풀긴 했었는데 또 다 풀어봐야할까요
-
1. 평탄 우주는 팽창 속도가 감소한다 2. 현재 우주는 평탄하고 가속팽창 중이다...
-
토탈리콜 2
원솔멀텍 파이널 회독 끝났는데 토탈리콜 하루컷 가능할까요? 걍 유기가 답??
-
대놓고 쉽게 냈다고 얘기하는 실모 아닌이상 쉽다는 평가가 있는 실모도 평가원보다는 어려운게 기본같음
-
ㅈㄱㄴ
-
다시는 평가원 쪽으로 경례도 하지 않겠습니다.. 깔끔하게 수능판 뜰게요 제발
-
우리학교도 이상했음 뚜겅이 안끼워져서 들고 마킹하고 심도 눌렀는데 안들어가고 부러짐ㅋㅋㅋ
-
키오프 하늘이…
-
한 3박 4일 100인가? 애들 수능 끝나면 같이 갈려는데
-
음 남은 기간 뭐하지 69는 마르고 닳도록 풀었는데 수특 푸는게 맞나 하
-
으흑흑
-
연계였다.
-
엉엉
그냥 토론하고싶어서그런데
∀x(Ex) 의 뜻은 모든x가 존재한다 이고 이 식의 부정형은
∃x(¬Ex) 인데 이식의 뜻은 존재하지않는것이 존재한다
<<모든것의 존재의 부정이 왜 존재하지 않는것이 되는것인가요?
그런 증명은 흑백논리가 될수 있는것 아닐까요?
저도 저 이미지에 포함된 내용만 읽어서 논리같은거 잘모릅니다