1.1.1命题的概念 定义1.1-2命题具有两种类型,简单命题和复 合命题 (1)第一种类型是不可分隔或不可再分解为 更简单句子的命题,称为简单命题或原子命题通 常用小写英文字母p,q, pis gi (2)第二种类型是由简单命题利用联结词而 成的命题,称为复合命题 例如,“雪是白的”,“2为质数”,“南京 是江苏省的省会”等就是简单命题 复合命题与联系词是密切相关的,不包含联 结词的命题就是原子命题,至少包含一个联结词 的命题才是复合命题
1.1.1 命题的概念 定义1.1-2 命题具有两种类型,简单命题和复 合命题. (1)第一种类型是不可分隔或不可再分解为 更简单句子的命题,称为简单命题或原子命题.通 常用小写英文字母p,q,r , …,pi,qi,ri , …. (2)第二种类型是由简单命题利用联结词而 成的命题,称为复合命题. 例如,“雪是白的”,“2为质数”,“南京 是江苏省的省会”等就是简单命题. 复合命题与联系词是密切相关的,不包含联 结词的命题就是原子命题,至少包含一个联结词 的命题才是复合命题
1.1.1命题的概念 定义1.1-3对于简单命题来说,它的真 值是确定的,因而又称为命题常项或命题 常元,例1.1(见教材第3页)中的(1) 2)、(3)命题常项在例1.1中的(6) 不是命题,但当给定×与y确定的值后,它 的真值也就定了下来了,这种真值可以变 化的简单陈述句称为命题变项或命题变元
1.1.1 命题的概念 定义1.1-3 对于简单命题来说,它的真 值是确定的,因而又称为命题常项或命题 常元,例1.1(见教材第3页)中的(1)、 (2)、(3)命题常项.在例1.1中的(6) 不是命题,但当给定x与y确定的值后,它 的真值也就定了下来了,这种真值可以变 化的简单陈述句称为命题变项或命题变元
1.1.2逻辑联结词 常用的联结词有一,∧,V,→,台五种。 定义1.1-4设p为任一命题,复合命题 “非p"(或“p的香定”)称为p的否定式,记 作→p,称“→”为否定联结词.一p为真当且 仅当p为偎 自然语言中的“不是”、“没有” 非”、“不”等都可表示否定
1.1.2 逻辑联结词 常用的联结词有﹁ ,∧,∨,→, ↔五种。 定义1.1-4 设p为任一命题,复合命题 “非p”(或“p的否定”)称为p的否定式,记 作﹁p,称“﹁ ”为否定联结词.﹁p为真当且 仅当p为假. 自然语言中的“不是”、“没有”、 非”、“不”等都可表示否定
1.1.2逻辑联结词 定义1.1-5设p、q为命题,复合命题 p并且q”(或“p和q)称作p与q的合取式, 记作p∧q,称“∧”为合取联结词.p∧q为真当 且仅当p与q同时为真 自然语言中的“并且 同时 无.又 不但.而 ”、“虽然……但是.等都可表示 合取
1.1.2 逻辑联结词 定义1.1-5 设p、q为命题,复合命题 “p并且q”(或“p和q”)称作p与q 的合取式, 记作p∧q,称“∧”为合取联结词.p∧q为真当 且仅当p与q同时为真. 自然语言中的“并且”、“同时”、 “和”、“既……又……”、“不但……而 且……”、“虽然……但是……”等都可表示 合取
1.1.2逻辑联结词 定义1.1-6设p、q为命题,复合命题“p 或q”称作p与q的析取式,记作pvq,称“y” 为析取联结词pvq为真当且仅当p与q中 个为真 自然语言中的“或者”,“或许 “可能”等都可表示析取
1.1.2 逻辑联结词 定义1.1-6 设p、q为命题,复合命题“p 或q”称作p与q的析取式,记作p∨q,称“∨” 为析取联结词.p∨q为真当且仅当p与q中一 个为真. 自然语言中的“或者”,“或许”, “可能”等都可表示析取