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

  

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

 

 

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

a) Do not pass go. b) What time is it? c) There are no black flies in Maine. d) \( 4 + x = 5 \) e) The moon is made of green cheese. f) \( 2^n \geq 100 \)

 

(문제 번호 :  1.1 - 2)

 

A.

 

명제인 것 : c, e

* a는 어떠한 주장을 하는 문장이 아닙니다. 명제는 어떠한 사실을 선언하는 문장이어야 합니다.

* b는 어떠한 주장을 하는 문장이 아닙니다. 명제는 어떠한 사실을 선언하는 문장이어야 합니다.

* d는 변수 \( x 를 포함하고 있습니다.  x \)의 값에 따라 참/거짓이 변하기에 명제가 아닙니다.

* f는 변수 \( n 을 포함하고 있습니다. n \)의 값에 따라 참/거짓이 변하기에 명제가 아닙니다.

 

진리값 :

c의 진리값 - F (파리매(black fly)는 Maine에서도 살고 있습니다.)

e의 진리값 - F (이 표현은 인간의 단순한 지각에 대한 은유로 유명합니다. 달은 치즈로 만들어지지 않습니다.)

 

참고페이지

- Chapter 01. 기초: 논리와 증명 - p.2