반응형 논리추론1 논리적 추론에 들어가기 앞서 논리적 추론 용어 공리(Axiom) 공리는 증명없이 참으로 받아드리는 명제를 의미한다. 페아노 공리계의 1은 자연수이다. 유클리드 기하학에서 '두 점이 주어졌을 때, 두 점을 지나는 직선이 있다.' 라고 하는 명제들은 증명할 수 없기에 공리라고 부리고 있다. 정의(Definition) 정의와 공리는 비슷해보이지만 다른 것이다. 대체로 정의는 용어에 대한 약속을 정의로 묶는 경우가 많다. 예를 들면 세 변으로 만들어진 도형을 삼각형이라고 하거나, 삼각형 중 한 내각의 크기가 90도인 삼각형을 직각삼각형이라고 부른다. 언제나 참인 것이 특징이다. 정리(Theorem) 증명을 통해 참인 것으로 밝혀진 것을 의미한다. 증명이 있지 않다면 이는 추측(Conjecture)라고 부르고 있다. 대표적인 정리는 우리가 .. 2023. 9. 7. 이전 1 다음
