离散数学：数理逻辑PPT教学课件.pptx

第三章数理逻辑离散数学

目录CONTENTS3.13.23.33.43.5命题命题公式与逻辑等价范式推理理论谓词与量词

3.1命题

3.1.1命题的定义定义3.1.1命题（proposition）是一个陈述句，它只能取真或假，而不能是两者.命题是真的或者假的,真和假是命题的真值.真命题的真值是真的,假命题的真值是假的.命题取真和假中之一的值,通常用1或T表示真,0或F表示假.

以下陈述句都是命题.(1)今天是星期二.(2)西安电子科技大学是211工程建设大学.(3)西安著名的“秦镇凉皮”中的“秦镇”位于西安市长安区.(4)地球是宇宙中唯一存在生命的星球.(5