술어논리 (1) 썸네일형 리스트형 [Section 1] 술어 연산자 고전 대수학 목차 보기 [INTRO] 고전 대수학 미리 보기 세상의 근본 원리, 본질 등 기본적 물체의 실체를 탐구하는 철학에 있어, 대수학은 항상 그 근원적인 문제에 대한 질문을 야기한다. 하나의 진실된 명제가 있다면, 그것은 무엇인가? 대수학의 특 hookspedia.tistory.com 0. INTRO 집합이라는 하나의 수학 체계를 구성함으로써, 논리적 증명과 고찰이 더 수월하여진다. 자연수는 수를 세거나, 순서를 매길 때 사용되는 수 체계로, 음이 아닌 정수와 양의 정수의 집합으로 구성된다. 이 집합은 페아노 공리계(Peano’s axioms)라고 불리는 자연수 체계를 묘사하는 공리들로 정의된다. 1. 술어 논리(predicate logic) A. 종속 변수( Bound variable) 다음의 .. 이전 1 다음
