국가전거
주제명검색
주제정보 MARC보기 LOD
증명(논리)[證明]
KSH1998005623용어범주주제어
관련 창작물4건
용어설명‘p이면 q이다’라는 합성명제(合成命題)에서 명제 p를 전제(가설 또는 가정), 명제 q를 결론(종결)이라 하고, 참(truthfullness)인 전제에서 유효한 추론(推論)에 의해 결론을 이끌어내는 것.
용어관계※ 용어관계도는 PC화면에서 확인하시기 바랍니다. 용어 관계도
관계유형
영어(1)
상위어(1) 하위어(4) 관련어(2)
상위어(1) 하위어(4) 관련어(2)
창작물
번호
제목
저자
발행년도
발행처
창작물
번호
4
저자
스틸리아누,블랜튼,크누스 엮음 ;김구연,권나영,김래영,김민경,김지선,노선숙,신재홍,이수진 옮김
발행년도
2015
발행처
경문사
상세검색
용어 관계도
[상위어]
초수학[超數學]
[주제어]
증명(논리)[證明]
[동의어]
영어 (ENG)proof
[관련어]
검증[檢證]
기저 단계[基底段階]
기저 단계[基底段階]
[하위어]
간접 증명법[間接證明法]
귀납법[歸納法]
귀류법[歸謬法]
연역법[演繹法]
귀납법[歸納法]
귀류법[歸謬法]
연역법[演繹法]
MARC 보기
![](/resource/templete/li/img/sub/icon_tel.png)