lec01命题逻辑.pptVIP

练习：符号化下面命题： （1）郑州不是河北省的省会。 （2）2+3=5并且2×3≠5。 （3）今天刮风或者下雨。 （4）如果4是素数，那么三角形有三条边。 （5）3-2﹥0当且仅当3﹥2。 解:（1）令p表示“郑州是河北的省会”，则该命题可表示为? p 。 （2）令p表示“2+3=5”，q表示“2×3=5” ，则该命题可表示为p∧ ? q 。 （3）p令表示“今天刮风”，q表示“今天下雨”，则该命题可表示为p ∨ q 。 （4）令p表示“4是素数”，q表示“三角形有三条边”，则该命题可表示为p → q 。 （5）令p表示“3-2﹥0”，q表示“3﹥2” ，则该命题可表示为p ? q 。 复合命题和联结词小结及符号化的基本步骤: 所有的命题都由简单命题、联结词和括号构成 联结词： 否定联结词　 ﹁ 合取联结词　 ∧ 析取联结词　 ∨ 蕴涵联结词　 → 等价联结词 ?? 所有的命题都可以通过简单命题的符号化和联结词、括号来符号化 复合命题符号化的基本步骤 分析出各简单命题，将它们符号化 使用合适的联结词，把简单命题逐个连接起来，适当加括号，来组成复合的符号化表示 例6： 将命题符号化 1.小王是游泳冠军或百米赛跑冠军； 简单命题的符号化： p：小王是游泳冠军； q：小王是百米赛跑冠军