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

14번째 줄: 14번째 줄:


==오류==
==오류==
*양변을 (1+)으로 나누는 단계에서 0인지 아닌지를 확인하지 않았다.
*양변을 (1+No)나누는 단계에서 0인지 아닌지를 확인하지 않았다.
*만약 <math>1+=0</math>이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다.
*만약 <math>1+No=0</math>이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다.
애초에 "안"은 계수가 아니라, [[부정연산자]]이기에 논리식으로 봐야 한다.
애초에 "안"은 계수가 아니라, [[부정연산자]]이기에 논리식으로 봐야 한다.
:<math>공부+안공부=공부+\neg 공부</math>
:<math>Study+NoStudy=Study+\neg Study</math>
:<math>공부+\neg 공부</math>는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.<ref><math>A+\neg A =T</math></ref>
:<math>Study+\neg Study</math>는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.<ref><math>A+\neg A =T</math></ref>
:<math>공부+\neg 공부 = \neg 망함+ 망함=T</math>
:<math>Study+\neg Study = \neg Fail+ Fail=T</math>


<math>공부+\neg 공부</math>의 값은 공부가 참이냐 거짓이냐에 따라 달라지므로 더 이상 정리할 수 없다.
<math>Study+\neg Study</math>의 값은 Study가 참이냐 거짓이냐에 따라 달라지므로 더 이상 정리할 수 없다.
:공부가 참이면 <math>공부+\neg 공부=T=공부</math>
:Study가 참이면 <math>Study+\neg Study=T=Study</math>
:공부가 거짓이면 <math>공부+\neg 공부=T=\neg 공부</math>
:Study가 거짓이면 <math>Study+\neg Study=T=\neg Study</math>


①, ②가 곧 결론이다.
①, ②가 곧 결론이다.
:<math>공부=\neg 망함</math>
:<math>Study=\neg Fail</math>
:<math>\neg 공부=망함</math>
:<math>\neg Study=Fail</math>


==같이 보기==
==같이 보기==

2013년 9월 13일 (금) 09:54 판

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

1 증명

Study equals fail.jpg

[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]이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다.

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

[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 주석

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

5 참고 자료

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}