"공부하면 망하는 이유 오류"의 두 판 사이의 차이

2021년 10월 12일 (화) 02:07 기준 최신판

공부하면 망하는 이유 증명 오류
Study = Fail?

1 증명[ | ]

[math]\displaystyle{ Study = No Fail }[/math] … ①

[math]\displaystyle{ No Study = Fail }[/math] … ②

①과 ②를 더하면

[math]\displaystyle{ Study + No Study = No Fail + Fail }[/math] … ③

[math]\displaystyle{ Study (1+No) = Fail (No+1) }[/math] … ④

양변을 (1+No)로 나누면

[math]\displaystyle{ Study = Fail }[/math]

2 오류[ | ]

양변을 (1+No)로 나누는 단계에서 0인지 아닌지를 확인하지 않았다.
만약 [math]\displaystyle{ 1+No=0 }[/math]이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다.

애초에 "No"는 계수가 아니라, 부정연산자이기에 논리식으로 봐야 한다.

[math]\displaystyle{ Study+NoStudy=Study+\neg Study }[/math]

[math]\displaystyle{ Study+\neg Study }[/math]는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.^[1]

[math]\displaystyle{ Study+\neg Study = \neg Fail+ Fail=T }[/math]

[math]\displaystyle{ Study+\neg Study }[/math]의 값은 Study가 참이냐 거짓이냐에 따라 달라지므로 더 이상 정리할 수 없다.

Study가 참이면 [math]\displaystyle{ Study+\neg Study=T=Study }[/math]

Study가 거짓이면 [math]\displaystyle{ Study+\neg Study=T=\neg Study }[/math]

①, ②가 곧 결론이다.

[math]\displaystyle{ Study=\neg Fail }[/math]

[math]\displaystyle{ \neg Study=Fail }[/math]

3 같이 보기[ | ]

4 참고[ | ]

↑ [math]\displaystyle{ A+\neg A =T }[/math]

[1] [math]\displaystyle{ A+\neg A =T }[/math]

[1]

@@ 1번째 줄: / 1번째 줄: @@
 ;공부하면 망하는 이유 증명 오류
 ;Study = Fail?
-*원문은 영문인듯<ref>http://pann.nate.com/talk/315601066</ref>
+==증명==
+[[File:공부하면 망하는 이유.jpg|400px]]
 [[file:study_equals_fail.jpg]]
-==증명==
+:<math>Study = No Fail</math> … ①
-:<math>공부 = 안 망함</math> … ①
+:<math>No Study = Fail</math> … ②
-:<math>안 공부 = 망함</math> … ②
 ①과 ②를 더하면
-:<math>공부 + 안 공부 = 안 망함 + 망함</math>
+:<math>Study + No Study = No Fail + Fail</math> … ③
-:<math>공부 (1+안) = 망함 (안+1)</math>
+:<math>Study (1+No) = Fail (No+1)</math> … ④
-양변은 (1+안)으로 나누면
+양변을 (1+No)로 나누면
-:<math>공부 = 망함 </math>
+:<math>Study = Fail </math>
 ==오류==
-*양변을 (1+안)으로 나누는 단계에서 0인지 아닌지를 확인하지 않았다.
+*양변을 (1+No)로 나누는 단계에서 0인지 아닌지를 확인하지 않았다.
-*만약 <math>1+안=0</math>이라면 소거할 수 없다.
+*만약 <math>1+No=0</math>이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다.
+애초에 "No"는 계수가 아니라, [[부정연산자]]이기에 논리식으로 봐야 한다.
+:<math>Study+NoStudy=Study+\neg Study</math>
+:<math>Study+\neg Study</math>는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.<ref><math>A+\neg A =T</math></ref>
+:<math>Study+\neg Study = \neg Fail+ Fail=T</math>
+<math>Study+\neg Study</math>의 값은 Study가 참이냐 거짓이냐에 따라 달라지므로 더 이상 정리할 수 없다.
+:Study가 참이면 <math>Study+\neg Study=T=Study</math>
+:Study가 거짓이면 <math>Study+\neg Study=T=\neg Study</math>
+①, ②가 곧 결론이다.
+:<math>Study=\neg Fail</math>
+:<math>\neg Study=Fail</math>
+==같이 보기==
+*[[공부]]
+*[[연립방정식]]
+==참고==
+* http://cast.wowtv.co.kr/20120812/A201208120006.html
+* https://www.donga.com/news/Society/article/all/20120812/48573795/3
 [[분류: 수학]]
+[[분류: 증명]]
+[[분류: 이유]]
+[[분류: 오류]]