했던것들/이산수학
연역법(deduction)과 귀납법(induction)
증명(proof)은 논리적 법칙을 사용하여 해당 명제나 논증이 적절한지를 입증하는 방법이다. 연역법과 귀납법 증명은 연역증명(deduction)과 귀납증명(induction)으로 나뉜다. 연역 증명은 이미 알려진 사실(진리)들이나 원리를 통해 결론을 도출하는 방법이고, 귀납 증명은 특수한 사실이나 원리로부터 확장된 결론을 도출해내는 방법이다. 연역법과 연역법의 오류 연역법의 대표적인 예시는 삼단논법이다. 이미 알려진 사실들로부터 결론을 도출해낸다. 사람들은 참수당하면 죽는다. 세종대왕은 죽었다. 따라서 세종대왕은 참수당했다. 논리적 오류가 있는 증명이지만 이미 알려진 사실(진리)로부터 결론을 도출해냈다. 이는 연역추론에 해당한다. 귀납법과 귀납법의 오류 이번에도 틀린 예시를 하나 하겠다. 칠면조의 역설이..
