命题逻辑命题逻辑

命题逻辑命题逻辑Tag内容描述：<p>1、1.111.1命题预习课本P23，思考并完成以下问题 1命题、真命题、假命题的概念分别是什么？2在命题“若p，则q”的形式中，p、q分别叫做命题的什么？命题点睛(1)判断一个语句是命题的两个要素：是陈述句，表达形式可以是符号、表达式或语言；可以判断真假(2)命题的条件与结论之间的关系属于因果关系，真命题可以给出证明，假命题只需举出一个反例即可1判断下列命题是否正确(正确的打“”，错误的打“”)(1)“集合a，b，c有3个子集”是命题()(2)“x23x20”是命题()答案：(1)(2)2语句“若ab，则acbc”()A不是命题B是真命题C是假命题 D不能判断真。</p><p>2、1.1.1命题【选题明细表】 知识点、方法题号命题的概念1,2,6,8命题的真假判断3,4,9,10,11命题的条件与结构5,12综合问题7,13【基础巩固】1.下列语句中是命题的是(B)(A)周期函数的和是周期函数吗?(B)sin 45=1(C)x2+2x-10(D)梯形是不是平面图形呢?解析:A,C,D都不能判断真假,不是命题.2.下列语句中命题的个数是(D)2<1;x<1;若x<2,则x<1;函数f(x)=x2是R上的偶函数.(A)0(B)1(C)2(D)3解析:是命题;不能判断真假,不是命题.3.下列命题为真命题的是(A)(A)若=,则x=y(B)若x2=1,则x=1(C)若x=y,则=(D)若x<y,则x2<y2解析:很明显A正确;B中,由x2=1,得x=1,所以B。</p><p>3、第一部分 数理逻辑,Mathematical Logic,1.4命题逻辑的推理理论,内容： 命题公式的蕴涵式 基本蕴涵式 直接证明法 间接证明法 反证法/归谬法 目标： 熟记基本蕴涵式 熟练利用上述各种证明法论证任意推理的有效性,命题逻辑的蕴涵式,例1.符号化下列命题并确定真值 1.如果自然数N是偶数，那么N+1也是偶数。 2.如果2是偶数，那么3也是偶数。 3.如果4能够整除整数K，那么2也能整除K。,例题解（1）,1.如果自然数N是偶数，那么N+1也是偶数。 解：设 p：自然数N是偶数。 q： N+1是偶数。 命题符号化为：p q 此命题的真值根据N的取值确定。,例题解（2。</p><p>4、第1讲 命题逻辑基本概念,离散数学,说明,主要内容 命题、联结词、复合命题 命题公式、赋值、命题公式的分类 与后续知识的关系 是后续的准备或前提,1 命题与联结词,数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。,1.1 命题与联结词,称能判断真假而不是可真可假的陈述句为命题 （proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。,感叹句、疑问句、祈使句都不能称为命题。</p><p>5、a，1，2章标志集推送理论，a，2，2.1名标题标志集，1。命题定义2-1命题：真与假有意义的句子。定义2-2原子命题：如果一个命题不能再分解成更简单的命题，那这个命题就称为原子命题。a、3、2。连接词:或称为否定。:读为“提取”、PQ“P或Q”。:读“一起拿”，PQ读“P和Q”。条件称为“条件”。P Q .称为双重条件。Pq、“如果是p”和“如果是q”。连接词优先级：，a，4，3。联式。</p>