000  $anz n  2
000  $a주제어
001  $aKSH1998005623
005  $a19990112122357
008  $a980429 n azknnaabn          |a a|a    | 
150  $a증명(논리)[證明]
450  $wr$i영어$aproof
550  $wg$a초수학[超數學]
550  $wh$a간접 증명법[間接證明法]
550  $wh$a귀납법[歸納法]
550  $wh$a귀류법[歸謬法]
550  $wh$a연역법[演繹法]
550  $a검증[檢證]
550  $a기저 단계[基底段階]
680  $i‘p이면 q이다’라는 합성명제(合成命題)에서 명제 p를 전제(가설 또는 가정), 명제 q를 결론(종결)이라 하고, 참(truthfullness)인 전제에서 유효한 추론(推論)에 의해 결론을 이끌어내는 것.