Buy me a coffee
질문
- 질문 게시판입니다.
전체기타게임진로연애가정/육아체육/스포츠교육의료/건강철학/종교IT/컴퓨터여행과학문화/예술법률홍차넷경제
Date 20/01/02 16:25:13
Name   별바라기
Subject   대우증명과 관련하여 질문드립니다.
https://redtea.kr/qna/8575
별로 중요하지도 대단하지도 않지만..

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
공지 질문 게시판 이용 규정 11 토비 15/06/19 22681 4
15798 여행제주 여행 질문입니다 5 + 거소 24/04/26 156 0
15797 법률상속포기 관련 9 [익명] 24/04/25 283 0
15796 IT/컴퓨터가계부앱 질문 whenyouinRome... 24/04/25 119 0
15795 기타혹시 일렉기타에서 팔 붕붕 휘두르면서 퍼포먼스 하는거 뭐라고 부르는지 아실까요? 아기가 이 포즈를 하며 가지말라고 버둥거리는게 귀여운데 이름을 모르겠습니다;;; 2 즐겁게 24/04/24 454 0
15794 게임오게임, 부족전쟁이 그렇게 재미있었나요? 12 2024 24/04/23 563 0
15793 경제하이브 vs 어도어 에서 어도어의 3자배정 유증을 하이브가 막을 수 있나요? 2 원금복구제발ㅠㅠ 24/04/23 597 0
15792 경제통일수혜주에는 무엇이 있읍니까? 27 아침커피 24/04/22 678 0
15791 기타유튜브 프리미엄 질문입니다 7 김치찌개 24/04/21 596 0
15790 체육/스포츠산린이의 갱생을 도와주십시오 17 blu 24/04/21 643 1
15788 의료/건강한국에서 최강 미국식 피자집 추천 질문 14 + 햇햇반 24/04/20 815 0
15787 여행오키나와 숙소 질문 드립니다. 4 허락해주세요 24/04/19 263 0
15786 기타퇴사 통보 시점에 대해 여쭙고자 합니다 4 아이스 커피 24/04/19 472 0
15785 문화/예술애니 입문자에게 애니 추천 부탁드립니다 19 Yunn 24/04/19 447 0
15784 진로7세 4세데리고 단양주말여행갑니다 11 하우두유두 24/04/19 436 0
15783 IT/컴퓨터데스크탑 견적 좀 봐주시오... 21 설탕 24/04/19 402 0
15781 의료/건강벽에 붙여서 쓸 수 있는 수면용 등 추천 19 kaestro 24/04/19 311 0
15780 여행경주여행 숙소 질문입니다. 24 켈로그김 24/04/18 395 0
15779 기타인생 최고의 버거 추천부탁드립니다. 13 퍼그 24/04/18 523 0
15778 의료/건강사무실에 간식 두고 퇴근했는데 낼 먹을 수 있을까요? 9 OneV 24/04/17 567 0
15777 경제재테크 알못이 질문드립니다 11 헬리제의우울 24/04/17 484 0
15776 의료/건강남자 유두 붓기 4 [익명] 24/04/17 468 0
15775 경제홍차넷 1인가구 청년분들은 월급의 몇%를 모으시나요? 28 [익명] 24/04/17 723 0
15774 IT/컴퓨터Rust 프로그래밍: constructor 내부 closure에서 Self의 객체를 불러서 처리하기 6 T.Robin 24/04/17 252 0
15773 게임닌텐도 타이틀 추천 부탁드립니다 :) 13 Broccoli 24/04/17 241 0
목록

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

댓글