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

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
14131 가정/육아파스타를 안 태우는 법? 16 cerulean 22/11/13 2950 0
1387 진로커리어 결정에 있어서 여러 고민들 5 [익명] 16/08/07 2951 0
1690 여행인천 송도에 갑니다~~ 2 유기곰 16/10/26 2951 0
5072 의료/건강과다수면하다가 7 psyredtea 18/07/17 2951 0
11883 경제대출 가능한 방법이 있을까요? 5 [익명] 21/07/12 2951 0
13764 기타[짤요청] 액셀 데이터 관련 짤 요청드립니다. 탐라에서 봤어요! 4 아재 22/08/18 2951 0
1039 법률못받은 돈 받으려면 어떡해야할까요? 2 오리꽥 16/04/29 2952 0
2016 가정/육아이 의자 높낮이 조절이 안 돼요! ㅠㅠ 7 진준 17/01/02 2952 0
3021 의료/건강의료넷 여러분들께 도움 요청 드립니다 2 1일3똥 17/07/07 2952 0
3245 가정/육아창문을 교체해야합니다. 5 소노다 우미 17/08/22 2952 0
7871 연애30초반 여성분과 첫 만남 24 [익명] 19/09/16 2952 0
7906 여행호주 여행 질문드립니다. 13 가이브러시 19/09/23 2952 0
9044 기타인간관계에 대한 질문입니다 7 [익명] 20/03/23 2952 0
13211 기타통증질문 4 [익명] 22/04/04 2952 0
14194 IT/컴퓨터가족끼리 쓸 일정공유앱 있을까요? 14 21700 22/11/28 2952 0
4230 교육. 1 [익명] 18/03/02 2953 0
13579 기타주택청약과 대출관련 질문입니다. 4 [익명] 22/07/04 2953 0
13835 가정/육아렌지 후드의 내부를 닦으려고 합니다 2 전국 홍차넷 협회 22/09/05 2953 0
13840 여행제주도 가족여행 펜션 빌라 8 풀잎 22/09/06 2953 0
737 기타[스타2] 프로토스 사도 질문입니다 1 김치찌개 16/01/18 2954 0
2481 기타스티커 떼는 노하우좀 알려주세요;; 12 줄리엣 17/03/10 2954 0
2972 법률자동차 보험은 어디에서 드는게 좋을까요? 9 소노다 우미 17/06/28 2954 0
3116 IT/컴퓨터알림기능 원리가 뭘까요? 5 자갈치토스 17/07/28 2954 0
6435 기타롯데리아 메뉴 추천 부탁드립니다. 7 2019영어책20권봐 19/01/30 2954 0
8252 의료/건강비염 8 달콤한망고 19/11/13 2954 0
목록

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

댓글