|
|
51CTO旗下网站
|
|
移动端

3.4 命题逻辑

《软件测试:一个软件工艺师的方法(原书第4版)》第3章面向测试人员的离散数学,本章和下一章将给出测试人员所需的数学知识。还是把测试人员类比成技艺师,此处介绍的各种数学方法就是工具,测试技师应该是知道如何用好这些工具的。本节为大家介绍命题逻辑。

作者:马琳/李海峰 译来源:机械工业出版社|2017-11-15 17:47

【51CTO技术沙龙】10月27日,让我们共同探索AI场景化应用实现之道

3.4 命题逻辑

我们已经在不知不觉中使用命题逻辑了。如果你还没弄明白前面所使用的命题逻辑定义,这也没有什么大不了的。集合论和命题逻辑之间的关系就类似于鸡和蛋的关系——很难说清楚应该先讨论哪一个。就像前面把集合作为基本术语不进行严格定义就直接使用一样,这里把命题也作为基本术语。命题是或者为真或者为假的一种陈述。真或假称为命题的真值。此外,命题还应该是无歧义的:对于给定的命题,应该总能判断出为真还是为假。“数学很难”这个陈述就不能作为命题,因为其中有模糊性。命题还有时间性和空间性。比如,“下雨了”这句话有些时间为真,有些时候为假,而且对同一时间处于不同地点的两个人来说,还可能对一个人为真,对另一个为假。

通常用小写字母来表示命题,如p、q和r。命题逻辑具有与集合论非常类似的运算、表达式和恒等属性(命题逻辑和集合论实际上是同构的)。


喜欢的朋友可以添加我们的微信账号:

51CTO读书频道二维码


51CTO读书频道活动讨论群:365934973

【责任编辑:book TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

主流ARM嵌入式系统设计技术与实例精解

本书重点介绍了主流ARM应用系统的开发与实践。全书基于目前较为通用、流行的ARM处理器,介绍了其原理、硬件结构、硬件电路设计与开发和软件...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊