- 질문 게시판입니다.
Date 20/01/02 16:25:13
Name   별바라기
Subject   대우증명과 관련하여 질문드립니다.
별로 중요하지도 대단하지도 않지만..

P => Q 를 증명할 때
~Q => ~P 를 증명, 즉 대우를 증명하는 것으로 대신하곤 하는데요.
보통 원래 명제를 그대로 증명하기 어려울 때 대우 증명을 쓰는 것 같은데.
원 명제의 형태에서는 직접 증명이 불가능한 경우가 많은 거라고 봐도 되나요?

감사합니다.



0
이 게시판에 등록된 별바라기님의 최근 게시물


목록
번호 제목 이름 날짜 조회 추천
13766 여행광화문 종로 근처에 맛집 추천 받습니다 11 NIKES 22/08/19 2911 0
1782 기타향초쓰시는 분들 제품 추천해주세요 4 Anakin Skywalker 16/11/16 2912 0
2346 교육공책(노트) 쓰시는 분 계신가요? 5 진준 17/02/18 2912 0
6164 기타Windows 7 질문입니다 3 김치찌개 18/12/27 2912 0
8743 법률불친절하게 대응된 가정용 장식장을 환불받으려고 합니다 2 손금불산입 20/02/07 2912 0
9370 기타홈텍스 연말정산 관련 질문입니다.. 6 [익명] 20/05/10 2912 0
1797 법률조건부 증여 질문입니다. 3 tannenbaum 16/11/20 2913 0
2329 연애야한 춤을 보는 것이 변태인가요 45 베누진A 17/02/16 2913 0
3091 여행국내 온천 갈만한 곳 질문입니다. 불타는밀밭 17/07/22 2913 0
3575 의료/건강사당 주위에서 참치를 먹고 싶습니다. 5 소노다 우미 17/10/27 2913 0
6435 기타롯데리아 메뉴 추천 부탁드립니다. 7 2019영어책20권봐 19/01/30 2913 0
6876 체육/스포츠헬스-눈갱주의) 발전을 위한 조언 부탁드립니다 7 [익명] 19/04/01 2913 0
7446 여행서울 근교 경기도권 계곡옆 평상 음식집이나 계곡 추천 부탁 드려요!! 5 [익명] 19/07/09 2913 0
9955 의료/건강코로나 바이러스 정부 11 [익명] 20/08/17 2913 0
13018 체육/스포츠압구정 근처 골프매장… 2 고기찐빵 22/02/23 2913 0
4067 기타아버지 선물 질문 11 사랑하는홍차에게 18/01/26 2914 0
3048 IT/컴퓨터웹사이트 제작 서비스 사용해보신 분? 4 April_fool 17/07/14 2915 0
5786 의료/건강의료소송 가능성 등에 대한 질문 드립니다. 19 [익명] 18/10/31 2915 0
6319 IT/컴퓨터애플뮤직 어떤가요? 8 와락 19/01/16 2915 0
6323 의료/건강낮과 밤이 바꼈는데 원래대로 되돌리고 싶어요. 12 덕후나이트 19/01/17 2915 0
7594 기타남자분들 핸드폰 큰 것 선호하시는지요...? 31 [익명] 19/08/05 2915 0
8491 여행쏠비치 삼척 가보신분 있나요? 3 [익명] 19/12/17 2915 0
11108 게임소울실버 한글판 즐기고 싶은데 2 [익명] 21/02/27 2915 0
4230 교육. 1 [익명] 18/03/02 2916 0
1825 기타가로수길으로 출퇴근하기 좋은 지역이 어디인가요? 9 볕뉘 16/11/26 2916 0
목록

+ : 최근 2시간내에 달린 댓글
+ : 최근 4시간내에 달린 댓글

댓글