0490f719b58b6cfe20b5c6b236ef203e7a3195955d41c012

일단 이 문제에서 답해야할 게 prove 하라는 거랑 conclude 하라는 것 같은데

솔직히 저 prove가 좀 애매함 ..



0490f719b58b6df620b5c6b236ef203e264cb4793e7a3484


이런 식으로 했는데 이게 맞는지 일단 모르겠음.. 그리고 마지막에 conclude 하라는 부분은 어떻게 논리적으로 써야하는 건지 또 잘 모르겠네.. 뭔가 당연한 것 같은데 이걸 논리적으로 답하기가 너무 어렵다.. 어떻게 답하는 게 좋을까..?