이산수학

집합과 논리, 명제

with_AI 2022. 4. 11. 10:29

이산수학?

 

이산?

- 별개의

- 개별적인

- 분리된

 

1, 2, 3 ,4, 5 등의 정수 집합 : 이산적

1, 1.1, 1.01 등의 실수 집합 : 연속적

 

집합 (SET)

- 여러 원소들의 모임으로 중복된 원소를 가지지 않음

 

유한집합

- 원소가 유한개

 

무한집합

- 원소가 무한개

 

집합 종류

- 전체 집합 : 원소 전체를 포함

- 공집합 : 원소를 하나도 가지지 않는 집합

 

집합의 포함관계

부분집합: 집합 A의 모든 원소가 집합 B에 포함될때 A는 B의 부분집합

진부분집합 : 집합 A가 집합 B의 부분집합인데 A = B 가 아닌경우

집합이 같을 때 A= B

합집합 : A와 B의 원소들을 모두 모은 집합

교집합 : A와 B 에 동시에 속하는 집합

서로소 : A와 B에 공동으로 속한 원소가 하나도 없는 경우

차집합 : A 원소중에 B에 속하지 않은 원소로만 이루어진 집합

여집합 : A에는 속하지 않지만 전체집합 U에 속하는 원소들의 집합

 


 

명제?

객관적으로 참, 거짓을 판단할 수 있는 문장 또는 수식

T , F 로 나타낸다.

참 거짓을 가리키는 값을 진릿값이라고 한다.

 

 


논리

 

논리연산자

 

부정 ~p

명제 p에 대해 p의 진릿값을 반대로 갖는 명제를 위와 같이 표기하며 p가 아니다 또는 not p라고 읽는다.

 

논리곱 and : p ^ q

p와 q가 모두 참일때만 참, 그렇지 않으면 거짓

 

논리합 or p V q

명제 p q에 대하여 p와 q모두 거짓일 경우만 거짓, 그렇지 않으면 참

 

조건명제 p -> q

p가 가정이고 q가 결론

 

 

명제 함수와 한정자

 

 

 

 

 

 

 

 

'이산수학' 카테고리의 다른 글

ML&DL 필수 이산수학(1)  (0) 2022.04.13
이산수학 알고리즘  (0) 2022.04.11
함수  (0) 2022.04.11