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

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
8571 의료/건강왼쪽 귀에서 자꾸 위잉~ 하는 소리가 들립니다. 2 [익명] 20/01/02 2852 0
8572 의료/건강알벤다졸 관련 질문입니다. 2 Dr.Pepper 20/01/02 3772 0
8573 기타1표준편차와 표준편차는 같은말인가요? 3 [익명] 20/01/02 2750 0
8574 기타개인 프로젝트 일정관리 어플 없을까요? 11 봄봄 20/01/02 6324 0
8575 과학대우증명과 관련하여 질문드립니다. 6 별바라기 20/01/02 2909 0
8576 기타새해에 드리는 정치 관련 질문... 6 [익명] 20/01/02 2320 0
8577 문화/예술부모님과 볼 영화 추천 부탁드려요. 3 [익명] 20/01/02 3002 0
8578 연애잠재적 연애 대상이냐 아니냐로만 구분하는 나쁜 버릇... 13 [익명] 20/01/02 3412 0
8579 교육대학생의 공부법(?) 20 [익명] 20/01/02 2765 0
8580 의료/건강어린이 타미플루 용액 관련 문의드립니다. 5 소원의항구 20/01/02 3405 0
8581 연애(제가) 정말 좋아하는지 단지 외로운 것 뿐인지 어떻게 아나요? 11 Velma Kelly 20/01/03 4637 0
8582 기타무언가가 싫으면 몸이 아플 수도 있나요? 14 [익명] 20/01/03 2663 0
8583 기타추운 날 실내 환기 어떻게 하시나요? 8 알료사 20/01/03 3455 0
8584 의료/건강왼쪽 귀가 아예 안 들립니다. 11 [익명] 20/01/03 3303 0
8585 법률중점관리대상 인력에 대해 7 먹이 20/01/03 6980 0
8586 기타적당한 가성비 소고기집 추천 부탁드립니다. 17 분투 20/01/04 3183 0
8587 의료/건강종양 제거 후 5년 동안 3개월 검사에 대해 12 [익명] 20/01/05 3170 0
8588 연애상처받지 않기 위한 방어기제 12 [익명] 20/01/05 2658 0
8589 여행안성맛집 질문 3 DogSound-_-* 20/01/06 3051 0
8590 기타정규표현식 잘 아시는분? 6 토비 20/01/06 4874 0
8591 IT/컴퓨터[회사업무관련] E-BOOK 구현 홈페이지 만드는 빠른 방법? 4 루키루키 20/01/06 4427 0
8592 법률특정분야 업체후기를 위한 카페 개설시 주의점 5 [익명] 20/01/06 2589 0
8593 문화/예술케멕스를 선물하려 합니다 5 [익명] 20/01/07 2238 0
8594 연애내가 만약 20대 초중반 여성이라면? 90 [익명] 20/01/07 3637 0
8595 의료/건강넘치는 성욕을 어떻게 해결하시나요? 32 [익명] 20/01/07 5504 0
목록

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

댓글