주제정보 MARC보기 LOD
증명(논리)[證明]
KSH1998005623
용어범주주제어
관련 창작물4건
용어설명‘p이면 q이다’라는 합성명제(合成命題)에서 명제 p를 전제(가설 또는 가정), 명제 q를 결론(종결)이라 하고, 참(truthfullness)인 전제에서 유효한 추론(推論)에 의해 결론을 이끌어내는 것.
용어관계※ 용어관계도는 PC화면에서 확인하시기 바랍니다. 용어 관계도
관계유형
영어(1)
상위어(1) 하위어(4) 관련어(2)
관계 동의어 · 유사어 · 외국어
동의어 · 유사어 · 외국어
관계 영어(ENG)
제목 proof
관계 관계주제어
관계 주제어
관계 상위어(BT)
관계 하위어(NT)
관계 하위어(NT)
관계 하위어(NT)
관계 하위어(NT)
관계 관련어(RT)
관계 관련어(RT)
창작물
번호 제목 저자 발행년도 발행처
창작물
번호 1
저자 지은이: 김광수
발행년도 1997
발행처 철학과현실사
번호 3
저자 지은이: 로저 넬슨 ;옮긴이: 조영주
발행년도 2010
발행처 W 미디어
번호 4
저자 스틸리아누,블랜튼,크누스 엮음 ;김구연,권나영,김래영,김민경,김지선,노선숙,신재홍,이수진 옮김
발행년도 2015
발행처 경문사
담당부서 : 국가서지과 (02-590-6361)
위로