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

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

감사합니다.



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


목록
번호 제목 이름 날짜 조회 추천
공지 질문 게시판 이용 규정 11 토비 15/06/19 23503 4
16257 기타몬스테라 분갈이 때일까요? 3 + 다람쥐 24/11/05 106 0
16256 기타친구 선물 추천을 부탁 드립니다. 2 자몽에이슬 24/11/05 131 0
16255 여행서울 단풍 Paraaaade 24/11/05 102 0
16254 의료/건강금주하면 행복해질까요? 21 [익명] 24/11/04 540 0
16253 의료/건강각막혼탁, 레이저 수술? 3 [익명] 24/11/04 216 0
16252 가정/육아어르신 전화기 13 [익명] 24/11/04 298 0
16251 IT/컴퓨터갤럭시 북 vs 그램 2 맥주만땅 24/11/04 201 0
16250 여행다낭 숙소 추천 부탁 드립니다. 3 Xeri 24/11/04 154 0
16249 문화/예술피아노곡 질문 4 토비 24/11/04 158 0
16248 게임[lol] 피어리스 드래프트(fearless draft)의 어원이 뭔가요? 4 치즈케이크 24/11/04 230 0
16247 가정/육아유럽 패키지 여행 다녀와보신 분 계실까요 10 바방구 24/11/03 303 0
16246 기타종이컵과 다회용컵 그리고 환경오염에 대한 질문 6 귤잠수함잠수중 24/11/03 326 0
16245 문화/예술가수를 찾습니다. 3 OshiN 24/11/02 515 0
16244 문화/예술어렵지않고 재밌는 책 추천 부탁드립니다 8 오늘 24/11/02 493 0
16243 IT/컴퓨터무선 공유기 교체에 대한 질문. 인터넷 전문가 선생님들 도와줘요! 19 Mandarin 24/11/01 401 0
16242 기타맛집 추천 좀... 10 먹이 24/11/01 459 0
16241 기타본가에서 고기 받아왔는데 무슨 부위같나요? 8 OneV 24/10/30 679 0
16240 체육/스포츠영업 목적 골프 입문하려고 합니다. 10 [익명] 24/10/30 481 0
16239 의료/건강액상철분제 추천 부탁드립니다. 2 Omnic 24/10/30 219 0
16238 연애이건 건강한 관계가 아니겠죠..? 32 [익명] 24/10/30 1070 0
16237 문화/예술호옥시 USB-c타입의 이어폰 추천해주실수 있으실까요? 5 허윤진남편 24/10/29 352 0
16236 기타인간사료 추천 부탁드립니다. 12 dolmusa 24/10/29 565 0
16235 기타저는 청약저축을 가지고 있습니다... 4 침묵의공처가 24/10/29 371 0
16234 IT/컴퓨터(네이버, 카카오) 자동로그인이 자꾸 풀려요 wwe13kane 24/10/29 233 0
목록

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

댓글