![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
ChenYuanshen
这个作者很懒,什么都没留下…
展开
-
离散数学基础(命题的合式公式)
1. 合式公式• 我们会逐渐进入命题逻辑的形式讨论:我们对命题只注意其命题形式,对联结词只注意其逻辑意义。• 命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间,它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则(即合适公式定义)和语义(也即真值)。• 定义:符号化语言 Lp 的符号表包括− 小写英文字母:p, q原创 2016-04-17 15:17:01 · 19295 阅读 · 1 评论 -
离散数学基础(命题逻辑)
1. 命题逻辑命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论命题逻辑的基本概念,以及基于命题的真值解释实行演绎的等值演算和自然推理演算。1.1 命题的概念− 一个命题是一个非真即假的陈述句。» 命题具有真假值,而且非真即假» 陈述句限定源于命题的判断属性» 或然性的排除» 命题的真假判定问题:真假的常识性影响;真假的时间性影响;判定方法原创 2016-04-16 22:53:43 · 10454 阅读 · 1 评论