一、命题的有关概念1
命题可以判断真假的语句
“非p”形式的复合命题与p的真假相反;2
逻辑联结词“或”、“且”、“非”
简单命题不含逻辑联结词的命题
复合命题含有逻辑联结词的命题
复合命题真值表“p或q”形式的复合命题当p与q同时为假时为假,其它情形为真;“p且q”形式的复合命题当p与q同时为真时为真,其它情形为假
p非p真假假真pqp或q真真真真假真假真真假假假pqp且q真真真真假假假真假假假假①由简单命题构成复合命题时,不一定是简单地加“或、且、非”等逻辑联结词;另外应注意含“或、且、非”等词汇的命题也不一定是复合命题,在进行命题的合成或分解时一定要检验是否符合复合命题的“真值表”,如果不符要作语言上的调整
②命题的“否定”是学习上的重点,因为这是“反证法”证明的第一步
必须注意,命题的“否定”与一个命题的“否命题”是两个不同的概念:对命题p的否定(即非p)是否定命题p所作的判断;而“否命题”是对“若p则q”形式的命题而言,要同时否定它的条件与结论
注意典型例题例1写出由下述各命题构成的“p或q”形式的复合命题:(1)p:9是144的约数,q:9是225的约数;(2)p:方程x2-1=0的解是x=1,q:方程x2-1=0的解是x=-1;(3)p:实数的平方是正数,q:实数的平方是0
(1)9是144的约数或9是225的约数(9是144或225的约数);注:由简单命题构成复合命题,一定要检验是否符合“真值表”,如果不符要作语言上的调整
(2)方程x2-1=0的解都是x=1,或方程x2-1=0的解都是x=-1;(3)实数的平方都是正数或实数的平方都是0
例1写出由下述各命题构成的“p或q”形式的复合命题:(2)p:方程x2-1=0的解是x=1,q:方程x2-1=0的解是x=-1;(3)p:实数的平方是正数,q:实数的平方是0
例2写出由下述各命题构成的“p