《离散数学》杨争锋ch01-1幻灯片资料.pptVIP

Chapter 1 The Foundation:Logic and Proof, Sets and Functions §1.1 Logic 1. Introduction Logic is the basis for mathematical reasoning. Application: (1) verification the correctness of programs; (2) …………………… (3) Example 2 (not propositions) Consider the following sentences. 1. What time is it now? 2. Read it carefully? 3. x+1 = 2 4. x+y = z Sentences 1 and 2 are not declarative sentences. Sentences 3 and 4 are neither true or false. (4) The truth value of proposition is tr