Rosen 이산수학- 논리와 증명 문제 풀이 (1)

  

이산수학 국내도서 저자 : Kenneth H. Rosen / 권영미,김태완,김종찬,김명원역 출판 : 한국맥그로힐 2012.09.01 상세보기

 

 

Q. 다음 중 명제(proposition)인 것은 무엇이며, 명제라면 진리값은 무엇인가?

a) Boston is the capital of Massachusetts. b) Miami is the capital of Florida. c) 2+3 = 5 d) 5+7 = 10 e) x+2 = 11 f) Answer this question

 

(문제 번호 : 1.1 - 1 )

 

A.

 

명제인 것 : a, b, c, d

* e는 변수(variable)를 포함하고 있음. x 값에 따라 참/거짓이 변하게 되므로 명제가 아님.

* f는 어떠한 주장도 하지 않음. 책의 2쪽을 보게 되면, 명제는 선언적 문장이기에 어떠한 사실을 선언할 필요가 있음.

 

명제들의 진리값 :

a의 진리값 - T

b의 진리값 - F ( Florida 주의 주도(capital)는 Miami가 아닌 Tallahassee 임.)

c의 진리값 - T 

d의 진리값 - F ( 5 더하기 7 은 10이 아닌 12임.)