당연한 명제 A를 증명하기 위해
당연한 명제 a_1을 증명해야 하고
당연한 명제 a_1을 증명하기 위해
당연한 명제 a_2를 증명해야 하고.
.
.
.
당연한 명제 a_n을 증명해서
명제 A가 참임을 보이는거
글씨쓰는거자체가너무기계적인노동인데
원래 이럼?
ㅈㄴ 좇같은게 교재에서 proposition으로
당연한 명제 b_1,b_2,..,b_m을
제공해주는데
이 proposition에 없는
당연한 명제들이 너무 많아서 결국 내가
스스로 명제증명하면서 당연한 명제들 다시 또 클레임)프루프 이지랄하면서 누더기처럼 써야되는데..원래 초반부가 노동적임?

당연한 명제라 해도 증명논리가 당연한거지
써야할건 존나좇같이 많아가지고 손이너무아픔

- dc official App