이산수학과 명제

1. 이산수학이란?

이산수학이란, 불연속적인 데이터 흐름을 다루기에 적합한 컴퓨터의 특성을살린 수학이다.

2. 명제와 연산자

명제란?

• 참(True)이나 거짓(False)로 진리를 구분할 수 있는 문장이다.
• 명제는 0 또는 1의 값을 가진다.
• 여러가지의 명제를 조합할 수 있다.

CS에 주로 사용되는 명제의 연산자

연산자이름	기호	뜻
NOT	~	반대
AND	&, *	그리고, 논리 곱
OR		, +
Exclusive OR	⊕	하나만 참, 배타적 논리합

3. 역, 이, 대우

명제 p → q ( p이면, q이다.) 에서 조건 p를 가정 / 조건 q를 결론이라고 한다.

명제의 역

p → q 에서 가정과 결론의 바꾼 것 바꾼다. q → p

명제의 이

p → q 의 명제를 부정한다. ~ p → ~ q

명제의 이

p → q 의 명제를 가정과 결론을 바꾸고, 부정한다. ~ q → ~ p