목록연역법 (1)

계단을 오르듯이

2. 명제, 추론, 귀납, 부울대수

1. 명제 : 참 혹은 거짓을 판명할 수 있는 선언적인 문장 선언적인 문장 : ~은 ~이다. 주어와 술어로 구성 [1] 명제의 종류 1. 사실 명제 ⇒ 관찰, 측정, 실험 2. 논리 명제 ⇒ 수학, 형식 명제 3. 복합 명제 ⇒ 단순 명제의 조합으로 만들어지는 명제 [2] 한정사 명제 함수 p(x)의 정의역은 한정사를 사용하여 표현할 수 있다. 두가지 종류가 존재한다. 1. 전체 한정 (ALL) : ∀x p(x) x가 갖는 모든 값에 대해서 p(x)가 참인 명제를 p(x)의 전체 한정이라고 함 2. 존재 한정 (SOME) : ∃x p(x) x가 갖는 값 중에서 p(x)가 참이 되게 하는 x가 존재하는 명제를 p(x)의 존재 한정이라고 함 2. 추론과 귀납 참으로 알고 있는 명제로부터 새로운 참인 명제를 ..
CS/이산수학 2022. 1. 6. 06:53
이전 Prev 1 Next 다음