2.1.1命题逻辑.pptVIP

discrete math --Proposition Logic 命题逻辑 Proposition Logic 命题、命题符号化 合式公式、真值表、永真式 逻辑等值式、推理定律 形式化证明 数理逻辑 逻辑学： 研究推理的一门学科 数理逻辑： 用数学方法研究推理的一门数学学科 数理逻辑的内容 古典数理逻辑： 命题逻辑、谓词逻辑 现代数理逻辑： 公理化集合论、递归论、模型论、证明论 命题 命题Proposition: 一个有确定真或假意义的语句. propositions EXAMPLE All the following statements are propositions. 1. Washington, D.C., is the capital of the United States of America. 2. Toronto is the capital of Canada. 3. 1+1=2. 4. 2+2=3. propositions EXAMPLE Consider the following sentences. 1. What time is it? 2. Read this carefully. 3. x+1 =2. 4. x+y = z. 命题的语句形式 命题的语句形式 陈述句 非命题语句： 疑问句 命令句 感态句 非命题陈述句：悖论语句 命题的表示 命题的符号表示： 大小写英文字母：P、Q、R、 p 、q 、r、。。。 命题真值（Truth Values）的表示： 真：T、1 假：F、0 真值确定 命题语句真值确定的几点说明： 1、时间性 2、区域性 3、标准性 命题真值间的关系表示： 真值表（Truth Table) 命题符号化 简单命题： p, q, r, p1, q1, r1,… 联结词： 否定联结词：? 合取联结词：? 析取联结词：? 蕴涵联结词：? 等价联结词：? 逻辑真值： 0，1 否定 negation Let p be a proposition. The statement It is not the case that p. is another proposition, called the negation of p. The negation of p is denoted by p. The proposition p is read not p. EXAMPLE 1 Negation 否定 Find the negation of the proposition Today is Friday and express this in simple English. Table 1 Negation 否定 合取 conjunction Let p and q be propositions. The proposition p and q, denoted by p∧q, is the proposition that is true when both p and q are true and is false otherwise. The proposition p∧q is called the conjunction of p and q. The truth table for p∧q is shown in Table 2. Table 2 Conjunction EXAMPLE 2 Conjunction Find the conjunction of the propositions p and q where p is the proposition Today is Friday and q is th