【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《让你清楚什么是命题》,欢迎阅读!
让你清楚什么是命题
新教材中没有讲清楚给出有关命题的概念,在理解命题的概念时,有些同学常出现错误,现在对“简易逻辑”教学中的两种命题的几个问题作一论述,以供参考:
一、 关于命题概念:
新教材中只说:可以判断真假的语句叫做命题。正确的命题叫真命题;错误的命题叫假命题。
问题1:它不是命题是什么呢?
这种需要根据前提才能判断真假的判断句叫条件命题。(教参上称为开语句),如“x >5”就是条件命题,它的真假要根据x的值来确定。 而含有逻辑联结词的式子都可叫做逻辑表达式。逻辑表达式的真假由题设条件决定。如当x=6时,x >5为真,当x=2时,x >5为假。
问题2:命题是怎样构成的?
一个完整的命题必由主项,谓项,量词和判断词四部分构成。例如命题“所有实数的绝对值都是正数”的主项是“实数的绝对值”,谓项“正数”,量词是“所有”,判断词是“都是”。
问题3:命题是怎样分类的?
根据量词的不同,命题可分为单称命题,特称命题和全称命题。单称命题的主项是单独的个体,量词“一个”通常被省略。如“3是正数”就是单称命题。全称命题的主项是对象的全体,常用的量词是“一切”,“所有”,“每一个”,“任何”,“都”等,也常被省略。如“整数是有理数”的完整的表示是全称命题“所有整数都是有理数”。特称命题的主项是对象的一部分,常用的量词是“有的”,“存在”,“至少有一个”,等,不能省略。如“有的实数的平方不是正数”就是特称命题。
根据判断词的不同,命题又可分为性质命题和关系命题。性质命题的判断词常用“是”,“不是”;用来判断主项是否符合某项性质。例如“3是正数”就是性质命题。关系命题的判断词常用“有”,“没有”,“存在”,“使”,“满足”;“不存在”,“不满足”用来判断主项是否符合某种关系。在语义明确的情况下判断词常被省略。例如 “存在角A,使sinA=0” 就是关系命题
根据命题的结构,命题可分为简单命题和复合命题。不含逻辑联结词
的命题叫简单命题。前面举例的命题都是简单命题。含逻辑联结词(“或”,“且”,“非”)的命题叫复合命题。例如“3>2或3=2”,“3是正数,且3是奇数”,“3不是无理数”分别是“或命题”,“且命题”,“非命题”。它们都是复合命题。
二、关于复合命题的概念 问题1:复合命题的真值表是什么?
表示复合命题真假的表叫真值表(如下表)。(其中T表示真,F表示假) 命题p T T F F
命题q T F T F
p或q T T T F
p且q T F F F
非p F F T T
非q F T F T
由真值表可知:
当两个命题中有一个为真,或命题为真。当两个命题全假,或命题为假。(一真必真)
当两个命题中有一个为假,且命题为假。当两个命题全真,且命题为真。(一假必假)
当原命题为真时非命题为假,原命题为假时非命题为真。
问题2:什么叫等价命题?
若两个命题p,q的真值表完全相同,则这两个命题称为等价命题。记为命题p命题q。
问题3:复合命题的真值表有什么作用? 利用真值表可以证明或判断复合命题的等价性。 例:用真值表证明 “或”,“且”运算的分配律
(1)(p且q)或r (p或r)且(q或r) (2)(p或q)且r(p且r)或(q且r)
证明:(1)(p且q)或r (p或r)且(q或r) 命题p T T T
命题q T T F
命题r T F T
p且q T T F
(p且q)或r
T T T
p或r T T T
q或r T T T
(p或r)且(q或r)
T T T
T F F F F
F T T F F
F T F T F 命题r T F T F T F T F
F F F F F
F T F T F
T T F T F
F T T T F
F T F T F
(2)(p或q)且r (p且r)或(q且r)
命题p T T T T F F F F
命题q T T F F T T F F
P或q T T T T T T F F
(p或q)且r
T F T F T F F F
P且r T F T F F F F F
q且r T F F F T F F F
(p且r)或(q且r)
T F T F T F F F
本文来源:https://www.wddqxz.cn/92785867227916888586d725.html