第一篇命题逻辑备选.pptVIP

§1命题 例：判断下列语句是否为命题。 ＊　陈述句一般为命题 （1）十是整数。　　 （Ｔ） （2）上海是一个村庄。（Ｆ）　　 （3）今天下雨。 （4）加拿大是一个国家。（Ｔ） （5）２是偶数而３是奇数。　　　　 （6）她不是护士。 （7）１＋１０１＝１１０ （8）今天是星期天。 §1命题 命令句，感叹句，疑问句均不是命题。 　 （1）把门关上！ 　 （2）你到哪里去？ 语句既为真，同时又包含假的不是命题，这样的句子称为“悖论”。 　 （3）他正在说谎。 （在命题逻辑中不讨论这类问题） §2命题联结词 例. 将下列命题符号化： （1）李明是计算机系的学生，他住在312室或313室。 （2）张三和李四是朋友。 （3）虽然交通堵塞，但是老王还是准时到达了车站。 （4）只有一个角是直角的三角形才是直角三角形。 （5）老王或小李中有一个去上海出差。 §2命题联结词 解： （1）首先用字母表示简单命题。 P：李明是计算机系的学生。 Q：李明住在312室。 R：李明住在313室。 该命题符号化为：P?（Q▽R） （2）张三和李四是朋友。是一个简单句 该命题符号化为：P §2命题联结词 （3）首先用字母表示简单命题。 P：交通堵塞。 Q：老王准时到达了车站。 该命题符号化为：P?Q （4）首先用字母表示简单命题。 P：三角形的一个角是直角。 Q：三角形是直角三角形。 该命题符号化