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

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
8173 문화/예술도서정가제 때문에 전자책 미리 사둘까 고민입니다. 어쩔까요? 2 덕후나이트 19/11/02 3882 0
8618 기타효과음을 찾습니다 천하대장군 20/01/11 3882 0
9524 법률다가구 주택 구입 시...전 거주자가 무단으로 버리고 간 쓰레기 문제..? 2 [익명] 20/06/02 3882 0
3531 기타핸드폰 급질문 합니다. 8 보아남편 17/10/19 3881 0
5261 가정/육아중국집 일회용 용기 2 [익명] 18/08/15 3881 0
2950 교육Tv나 인터넷으로 강연 추천 부탁드려요 1 차우차우 17/06/24 3880 0
4712 문화/예술정기 간행물, 비평에 대한 책, 글, 작가 추천부탁드립니다. 3 naru 18/05/29 3880 0
6378 진로면접 후 2곳에서 출근의사를 물었는데, 여러분들 이라면 어디로?? 24 [익명] 19/01/23 3880 0
4640 가정/육아삭제 22 [익명] 18/05/16 3879 0
8875 연애썬크림 바른 뒤에 피부 여드름 올라옴 15 [익명] 20/02/28 3879 0
16031 가정/육아7살 남아랑 서울에서 하루 놀러갈만한곳 있을까요? 11 OneV 24/07/29 3879 1
402 IT/컴퓨터어떤 게임을 hdd로 옮길까요? 3 헬리제의우울 15/11/01 3878 0
2688 여행도쿄 여행가는데 가이드북에 나오지 않는 곳 추천해주세요 4 4층베란다 17/04/20 3878 0
4973 기타회사 대주주 부친상? 5 CIMPLE 18/07/05 3878 0
5103 IT/컴퓨터지도 위의 세력변화 애니메이션 표현에 가장 적합한 툴? 7 메존일각 18/07/21 3878 0
7368 IT/컴퓨터갤럭시 S4 vs 아이패드 에어 3세대 7 [익명] 19/06/23 3878 0
9868 법률오피스텔 분양권(현재공사중) 프리미엄(피) 가격을 알 수 있나요? 2 [익명] 20/08/01 3878 0
11339 의료/건강아버지가 급히 병원에 실려갔는데 어떤 증상인지 질문드립니다 3 네임넴 21/04/12 3878 0
16039 진로혹시 '5년내에 내 스스로 생을 마감하겠다' 하는분들 계십니까?? 25 [익명] 24/07/31 3878 0
1568 IT/컴퓨터웹사이트 관리 초보자도 가능할까요? 9 진저에일 16/09/27 3877 0
5559 기타일반적이지 않은 이름 영문표기는 불편한경우가 많을까요? 5 [익명] 18/10/01 3877 0
8575 과학대우증명과 관련하여 질문드립니다. 6 별바라기 20/01/02 3877 0
14459 기타보관이사, 이사견적에 관한 문의 드립니다. 12 다람쥐 23/02/08 3877 0
14725 과학조명용 LED 모듈을 추천받고 싶습니다 2 ㅢㅘㅞ 23/04/22 3877 0
1487 IT/컴퓨터JPA와 Mariadb관련 질문입니다.. 뻘쭘 (해결했습니다) YORDLE ONE 16/09/07 3876 0
목록

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

댓글