어떤 명제가 참임을 증명하려 할때 그 명제의 결론을 부정함으로써 가정또는 공리등이 모순됨을 보여 간접적으로 그 결론이 성립한다는것을 증명하는 방법.
[무물보AI] 답변 로딩중...
당신은 어느 그룹입니까?