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

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
8588 연애상처받지 않기 위한 방어기제 12 [익명] 20/01/05 3811 0
8587 의료/건강종양 제거 후 5년 동안 3개월 검사에 대해 12 [익명] 20/01/05 4295 0
8586 기타적당한 가성비 소고기집 추천 부탁드립니다. 17 분투 20/01/04 4495 0
8585 법률중점관리대상 인력에 대해 7 먹이 20/01/03 9852 0
8584 의료/건강왼쪽 귀가 아예 안 들립니다. 11 [익명] 20/01/03 4447 0
8583 기타추운 날 실내 환기 어떻게 하시나요? 8 알료사 20/01/03 4687 0
8582 기타무언가가 싫으면 몸이 아플 수도 있나요? 14 [익명] 20/01/03 3688 0
8581 연애(제가) 정말 좋아하는지 단지 외로운 것 뿐인지 어떻게 아나요? 11 Velma Kelly 20/01/03 5988 0
8580 의료/건강어린이 타미플루 용액 관련 문의드립니다. 5 소원의항구 20/01/02 4631 0
8579 교육대학생의 공부법(?) 20 [익명] 20/01/02 3964 0
8578 연애잠재적 연애 대상이냐 아니냐로만 구분하는 나쁜 버릇... 13 [익명] 20/01/02 4688 0
8577 문화/예술부모님과 볼 영화 추천 부탁드려요. 3 [익명] 20/01/02 4147 0
8576 기타새해에 드리는 정치 관련 질문... 6 [익명] 20/01/02 3464 0
8575 과학대우증명과 관련하여 질문드립니다. 6 별바라기 20/01/02 3992 0
8574 기타개인 프로젝트 일정관리 어플 없을까요? 11 봄봄 20/01/02 7529 0
8573 기타1표준편차와 표준편차는 같은말인가요? 3 [익명] 20/01/02 3827 0
8572 의료/건강알벤다졸 관련 질문입니다. 2 Dr.Pepper 20/01/02 5193 0
8571 의료/건강왼쪽 귀에서 자꾸 위잉~ 하는 소리가 들립니다. 2 [익명] 20/01/02 4055 0
8570 진로이런 경우 어떻게 해야할까요? 10 거소 20/01/01 4496 1
8569 기타아버지 손이 부어있네요 6 김치찌개 20/01/01 4647 0
8568 기타Windows 10 이거 뭐가 문제인가요?? 2 김치찌개 20/01/01 3666 0
8567 진로병원행정직, 원무과에 재직중이신 분들 계신지요? 취직 관련.. 4 12seconds 20/01/01 5846 0
8566 기타샤오미 로봇청소기를 구입할까 하는데요. 15 메존일각 19/12/31 4670 0
8565 경제대포통장 관련 연락이 왔는데 금융관련해서 잘 아시는분 계신가요? 28 [익명] 19/12/31 5541 0
8564 법률전세금 반환 관련 질문입니다 7 [익명] 19/12/31 3222 0
목록

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

댓글