离散数学
awaken_gx
这个作者很懒,什么都没留下…
展开
-
二、联结词——离散数学
2.1联结词联结词亦称命题联结词,命题逻辑的基本概念之一,指由已有的命题构造出新命题所用的词语2.1.2 否定联结词设P为任意一命题,复合命题“非P”(或P的否定)称为P的否定式,记做读作“非P”真),┐称为否定联结词┐P的逻辑关系为P不成立。┐P为真当且仅当P为假。命题P的真值与其否定┐P的真值之间的关系。P ┐P 0 1 1 0 ...原创 2020-03-24 11:25:14 · 11729 阅读 · 1 评论 -
命题逻辑——离散数学
命题逻辑1.1.1 命题1.1.2 命题的分类1.1.3 命题标识符逻辑主要研究推理过程,而推理过程必须依靠命题来表述。在命题逻辑中,“命题”被看作最小单位。命题逻辑是数理逻辑中最基本、最简单的部分。1.1.1 命题 什么是命题? 推理是数理逻辑研究的中心问题,推理的前提和结论都是表达判断的的陈述句,因而表达判断的陈述句构成了推理的基本单位,称具有真假意义的陈述句为命题...原创 2020-03-24 09:46:52 · 697 阅读 · 1 评论