第三章 命题逻辑：逻辑是一个常用的术语，平时说话、做事、思考问题等都要合乎逻辑. 比如，一位老师正在学校上课，而要说他在太空漫步就不合乎逻辑，把“逻辑地址”弄错了. 同时，逻辑推理也无处不在，从日常生活中的实际问题的解决到数学定理的证明以及程序正确性验证. 逻辑学是研究思维形式、思维方法及思维规律尤其是推理的学科，早在两千多年前就受到人们的重视，古希腊著名逻辑学家柏拉图的学生亚里士多德(Aristotle，公元前384--公元前322)是形式逻辑的创始人. 形式逻辑，现在称为普通逻辑学，要详细讨论概念(词项)、判断(命题)和各种形式的推理，研究逻辑基本规律等内容. 联合国教科文组织将逻辑学列为与数学、物理学、化学、天文学、地学、生物学同等重要的基础学科，在我国MBA 、MPA以及工程硕士入学考试加入了逻辑测试题，国内很多大公司、企业招聘高级员工时也开始加试逻辑测试. 德国数学家、哲学家莱布尼茨(G. Leibniz，1647--1716)首先提出用数学方法研究逻辑，就是建立一套表意符号体系，在符号之间进行形式推理. 莱布尼茨是数理逻辑的创始人. 也正因为这样，数理逻辑又称为符号逻辑，已有300多年的历史了.除了传统的数理逻辑(内容包括逻辑演算、公理化集合论、模型论、递归论和证明论)外，还出现了各种各样的应用逻辑，如多值逻辑、模态逻辑、归纳逻辑、时序逻辑、动态逻辑、模糊逻辑、非单调逻辑、缺省逻辑、数字逻辑、电路逻辑、算法逻辑及程序逻辑等，这些都与计算机科学密切相关. 人们需要学习、思考机器特别是计算机是如何进行逻辑思维的，以便用硬件或软件去模拟(广义下的计算)实现人的逻辑思维，这是一种最好的计算思维(computational thinking)培养形式. 命题逻辑与谓词逻辑是数理逻辑的基础部分. 本章学习命题逻辑，内容涉及集合、映射、运算和关系等.命题逻辑的研究对象是命题.3.1命题的有关概念:计算过程就是推理过程,而每一步推理离不开判断,判断的对象就是命题.本节讨论命题的有关概念.[单选题]下列语句( )是命题.选项:[玩《王者荣耀》网络游戏时间过得好快！, 什么是区块链技术?,
3.2逻辑联结词:逻辑联结词类似于自然语言中的连词，它们是逻辑运算.
3.3命题公式及其真值表:命题公式就是逻辑函数或逻辑表达式，将其所有可能的取值情况列成一个表，就得到命题公式的真值表.
3.4逻辑等值的命题公式:两个命题公式逻辑等值是指它们在逻辑上说的事同一回事，是功能相同的两个逻辑电路.
3.5命题公式的范式:命题公式的范式就是其标准形式或规范形式.
3.6联结词集合的功能完备性:将联结词集S中的联结词理解为门电路，则S是功能完备的是指任何的组合逻辑电路都可以由这些门电路实现.
3.7命题逻辑中的推理:推理是从一些前提推出结论的思维过程，本节讨论命题逻辑中的推理.
3.1命题的有关概念:计算过程就是推理过程,而每一步推理离不开判断,判断的对象就是命题.本节讨论命题的有关概念.
3.2逻辑联结词:逻辑联结词类似于自然语言中的连词，它们是逻辑运算.
3.3命题公式及其真值表:命题公式就是逻辑函数或逻辑表达式，将其所有可能的取值情况列成一个表，就得到命题公式的真值表.
3.4逻辑等值的命题公式:两个命题公式逻辑等值是指它们在逻辑上说的事同一回事，是功能相同的两个逻辑电路.
3.5命题公式的范式:命题公式的范式就是其标准形式或规范形式.
3.6联结词集合的功能完备性:将联结词集S中的联结词理解为门电路，则S是功能完备的是指任何的组合逻辑电路都可以由这些门电路实现.
3.7命题逻辑中的推理:推理是从一些前提推出结论的思维过程，本节讨论命题逻辑中的推理.
, 中国碳基半导体芯片领先世界.] 
[单选题]“很多人都喜欢骑自行车”的否定是 （ ）选项:[有些人不喜欢骑自行车, 少数人喜欢骑自行车, 很多人不喜欢骑自行车, 并不是很多人都喜欢骑自行车]
[单选题]设
：我们游泳，
：我们玩游戏, 则命题“我们不能既游泳又玩游戏”符号化为( )选项:[
, 
, 
, 
][单选题]下列命题公式( )是永真式.选项:[
, 
, 
, 
][单选题]命题公式
与( )等值.选项:[
, 
, 
, 
][单选题]下列( )组命题公式是等值的.选项:[
, 
, 
, 
][单选题]命题公式
的主合取范式为( ).选项:[
, 
, 
, 
][单选题]下面( )是功能完备联接词集合.选项:[
, 
, 
, 
][单选题]对于命题公式
，则由
可得出( ).选项:[
, 
, 
, 
][单选题]对于命题公式
，则由
可得出( ).选项:[
, 
, 
, 
]
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
