개발 공부 블로그

추론(argument) 란, 주어진 명제가 참인 것을 바탕으로 새로운 명제가 참이 되는 것을 유도해내는 과정이다. 전제(premise)란, 추론 과정에서 주어진 명제들이다. ex) p₁,p₂,p₃ .... pn 명제에는 순서가 그렇게 중요하지 않다. pn-3 ... pn = q 결과 유도도 동일하다. 결론(conclusion)이란, 추론 과정에서 새롭게 유도된 명제이다. 추론은 유효 추론, 허위 추론 두 가지로 나눌 수 있다. 유효 추론 (valid argument) : 전제가 참(T)이고 결론도 참(T)인 추론 허위 추론 (fallacious argument) : 결론이 거짓(F)인 추론 유효 추론 / 허위 추론의 여부는 진리표를 이용하거나 여러 추론 법칙을 이용하여 증명할 수 있다. 이 외에도 추론 ..

1. 이산 수학이란?2. 집합이란?3. 논리란?   1. 이산 수학이란?이산 수학은 그래프(정점과 간선의 집합) 및부울 대수(정의된 특정 연산을 갖는 집합)와 같은 객체들을 다룬다.   2. 집합이란?집합의 개념은 수학과 응용 수학의 모든 분야에서 기본이 된다.집합(set)은 객체들의 모임이다.여기서 객체들 사이의 순서는 중요하지 않다.이 객체들을 원소 또는 멤버라고 부른다.만약 어떤 집합이 유한하고 지나치게 크지 않다면집합 내의 원소들을 나열하여 그 집합을 기술할 수 잇다.예를 들어 아래의 수식을 보자.A = {1,2,3,4}해당 집합 A가 4개의 원소 1,2,3,4로 구성되어 있다는 것을 나타낸다.집합은 원소들에 의해 결정되며, 원소들이 나열되는 특정한 순서에 의해서 결정되는 것은 아니다.따라서 집합..