편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
276번째 줄: | 276번째 줄: | ||
* 원명제와 대우명제, 역명제와 이명제는 서로 ''대우 관계''에 있다. | * 원명제와 대우명제, 역명제와 이명제는 서로 ''대우 관계''에 있다. | ||
===명제의 역, 이, 대우=== | |||
===공리=== | ===공리=== | ||
우리가 어떤 명제의 참과 거짓을 증명해낼 때는 다른 명제를 이용하게 된다. 그런데, 모든 명제가 처음부터 참과 거짓이 증명되어 있지 않다면? {{ㅊ|[[충격과 공포다]]}} 전제가 이상하기 때문에 증명이 맞다고 할 수 없게 된다. 올바른 증명을 하려면 ''가장 기초적인 근거가 될 가정''을 할 필요가 있다. 이것을 '''공리'''라고 한다. 어떤 이론체계에서든 공리를 제대로 설정했을 때만 논리적으로 접근할 수 있다. | 우리가 어떤 명제의 참과 거짓을 증명해낼 때는 다른 명제를 이용하게 된다. 그런데, 모든 명제가 처음부터 참과 거짓이 증명되어 있지 않다면? {{ㅊ|[[충격과 공포다]]}} 전제가 이상하기 때문에 증명이 맞다고 할 수 없게 된다. 올바른 증명을 하려면 ''가장 기초적인 근거가 될 가정''을 할 필요가 있다. 이것을 '''공리'''라고 한다. 어떤 이론체계에서든 공리를 제대로 설정했을 때만 논리적으로 접근할 수 있다. |