内容正文:
常用逻辑用语
“数学是思维的科学”
逻辑是研究思维形式和规律的科学.
逻辑用语是我们必不可少的工具.
通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.
1.1命题及其关系
1.1.1命题的概念和例子
1.1.2命题的四种形式
下列语句的表述形式有什么特点?你能判断它们的真假吗?
(1)三角形的 三 内角之和等于 ;
(2)如果a,b是任意两个正实数,那么 ;
(3)
(4)如果实数a满足a2=9,则a=3;
(5)中学生目前的学业负担过重;
(6)中国将在本世纪中叶达到中等发达国家的水平 .
以上均为陈述句,(1)(2)为真,(3)(4) 为假, (5) (6)的真假需要根据实际情况确定,总是可以确定真假.
思考
?
1.1.1命题的概念
一般地,在数学中,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.
其中判断为真的语句叫做真命题,判断为假的语句叫做假命题.
例 判断下列语句中哪些是命题?是真命题还是假命题?
(1)x>7;
(2)如果a,b是正实数且
(3)
练习(课本P3)
判断下列语句中哪些是命题?是真命题还是假命题?
例1 判断下列语句中哪些是命题?是真命题还是假命题?
(1)空集是任何集合的子集;
(2)若整数a是素数,则a是奇数;
(3)指数函数是增函数吗?
(4)若空间中两条直线不相交,则这两条直线平行;
(5) ;
(6)x>15.
真命题
真命题
假命题
假命题
判断 一个语句是不是命题,关键判断:(1)是否为陈述句;(2)能否判断真假。
例1 判断下列语句中哪些是命题?是真命题还是假命题?
(1)空集是任何集合的子集;
(2)若整数a是素数,则a是奇数;
(3)指数函数是增函数吗?
(4)若空间中两条直线不相交,则这两条直线平行;
(5) ;
(6)x>15.
上面(2)(4)具有“若p,则q”的形