배중률법칙 (1) 썸네일형 리스트형 [Section 1] 논리 상수를 통해서 나타내는 수학 증명 대수학 목차 보기 [INTRO] 대수학 미리보기 세상의 근본 원리, 본질 등 기본적 물체의 실체를 탐구하는 철학에 있어, 대수학은 항상 그 근원적인 문제에 대한 질문을 야기한다. 하나의 진실된 명제가 있다면, 그것은 무엇인가? 대수학의 특 hookspedia.tistory.com 0. INTRO 논리학의 자연 연역 방법으로 수학적 증명과정이 진행된다는 것을 알았다. 수학적 증명은 이렇게 논리학을 바탕으로 구성되어있으며, 그 절차를 논리 상수로 나타냄으로써 증명이 완성된다. 수학의 증명절차를 이해함과 동시에 우리는 수의 완전성과 왜 물리학 혹은 그와 유사한 과학이 수학을 통해서 이론적 제시를 하는지 그 이유를 알 수 있게 될 것이다. 1. 논리 상수의 도입과 제거 A. 논리 상수 ^와 ∨ A 명제와 B 명.. 이전 1 다음
