- 질문 게시판입니다.
Date | 20/01/02 16:25:13 |
Name | 별바라기 |
Subject | 대우증명과 관련하여 질문드립니다. |
별로 중요하지도 대단하지도 않지만.. P => Q 를 증명할 때 ~Q => ~P 를 증명, 즉 대우를 증명하는 것으로 대신하곤 하는데요. 보통 원래 명제를 그대로 증명하기 어려울 때 대우 증명을 쓰는 것 같은데. 원 명제의 형태에서는 직접 증명이 불가능한 경우가 많은 거라고 봐도 되나요? 감사합니다. 0
이 게시판에 등록된 별바라기님의 최근 게시물 |