수학적 논리

소개글

^^::

목차

컴퓨터 이산수학론 정리

본문내용

전체정량=∀xP(x) 모든x대하여 P(x)가 참
존재정량=∃xP(x) 어떤x에 대하여 P(x)가참
P(x)가 참인 x가 적어도 하나 존재한다
집합이란: 공통된 규칙을 갖는 객체들의 모임
전체집합: 논의 대상이 되는 일정한 집합
공집합 : 어떤원소도 갖지 않는 집합
비접합성: 두 집합 X,Y의 교집합 이 공집합 (X∩Y= )
쌍방비접합: 집합들을 원소로 하는 집합에서 임의의 두 원소가
'서로 비접합하다'
반사관계: R이 집합A에 대한 관계라 할 때,A 내의 모든 원소 a에 대해
(a,a)∈R이면,R은 반사 관계라한다.
대칭관계: R이 집합 A 에 대한 관계라 할 때, 모든 a,b∈A에 대해
(a,d)∈R일 때 반드시 (b,a)∈R인 관계가 존재하면, R은
대칭관계라고 한다.
이행관계: R이 집합A에해한 관계라 할 때, 모듬 a,b,c∈A에 대해
(a,b)∈R이고,(b,c)∈R이면(a,c)∈R일 때 R을 이행관계라한다.

참고 자료

없음