편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
18번째 줄: | 18번째 줄: | ||
*양변을 (1+No)로 나누는 단계에서 0인지 아닌지를 확인하지 않았다. | *양변을 (1+No)로 나누는 단계에서 0인지 아닌지를 확인하지 않았다. | ||
*만약 <math>1+No=0</math>이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다. | *만약 <math>1+No=0</math>이라면 소거할 수 없다. ③에서 ④로 넘어갈 수 없다. | ||
애초에 " | 애초에 "안"은 계수가 아니라, [[부정연산자]]이기에 논리식으로 봐야 한다. | ||
:<math>Study+NoStudy=Study+\neg Study</math> | :<math>Study+NoStudy=Study+\neg Study</math> | ||
:<math>Study+\neg Study</math>는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.<ref><math>A+\neg A =T</math></ref> | :<math>Study+\neg Study</math>는 "공부를 하거나 또는 안하는 것"을 뜻하며, 이것은 항상 참이다.<ref><math>A+\neg A =T</math></ref> |