ㅅㅂ theorem 증명하는데 어지럽네 ㅋㅋㅋㅋ
진리표 작성해서 theorem 한 개 증명하면 다음 theorem이 기다리고 있는 거 보고 집중력 바로 깨지네
딴 짓하다가 다음 theorem하고 또 다음 theorem 기다리는 거 보고 .... 무한 반복 중..  한 세월 걸리겠어 ㅋ..

당연히 진리표 작성하면 증명되니까 theorem이라고 소개되는 걸텐데(뭐 딱히 특별한 접근법이 있는 것도 아니고 그냥 진리표로 무지성 증명인데) 이걸 해야되나 싶다가도 이번에 한 번 증명해보고 말텐데 그냥 하자 싶기도 하다

지금이 딴 짓하는 타이밍임 ㅋㅋ 똥글 싸고 찡찡대서 미안하다.
조금만 더 하다가 미적이나 해야겠다.

- dc official App