![](https://img-blog.csdnimg.cn/20201014180756926.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
符号逻辑
文章平均质量分 92
徐明《符号逻辑讲义》阅读笔记
Cross_Entropy
这个作者很懒,什么都没留下…
展开
-
离散数学相关的概念
文章目录setset 集合equal 集合的相等empty set 空集合cardinality 基数trust setFunction 函数函数domain, codomain, image, preimage, range,mapsinjection, one-to-onesurjective, ontobijection, one-to-one correspondenceinverse functioncompositiongraph of functionpartial functionCard原创 2021-09-16 20:10:23 · 1735 阅读 · 0 评论 -
命题逻辑的基本概念
文章目录真值指派和公式真值重言蕴含、重言等值和可满足性重言式、矛盾式与或然式代入我们把L0\mathscr{L}_0L0所有命题变号的集合记作Pr,并且把命题编号依照下标的序p0,p1,p2,⋯p_0,p_1,p_2,\cdotsp0,p1,p2,⋯称为Pr上的(或命题变号的)“字典顺序”或者“字母表”。真值指派和公式真值语言L0\mathscr{L}_0L0的解释叫做 “真值指派”(truth valuation, truth assignment)。一个真值指派(或赋值)是从Pr到{原创 2021-06-14 21:59:43 · 1401 阅读 · 0 评论 -
真值表和真值计算
文章目录基本真值表基本语义的真值表刻画重言蕴含(重言后承)与重言等值论说形式的有效性重言蕴含重言等值可满足性可满足性可满足性的简单性质和重言蕴含的关系重言式、矛盾式、或然式三者之间的关系各语义之间的关系简化真值表方法基本真值表从语法角度讲,联结词是“公式函数”,即从公式集合到公式集合的函数。也就是说,对于每个联结词,每当给出公式作为输入,这个联结词确定了唯一的公式作为输出。真值函数是从真值集到真值集的函数,也即从{T,F}到{T,F}的函数。基本真值表如下:我们可以用如下规则进行记忆:一个否原创 2021-06-14 16:06:36 · 16605 阅读 · 1 评论 -
命题连接词
文章目录联结词和符号语句联结词复合句和简单句命题逻辑(propositional logic) 也被称为 语句逻辑(sentential logic),是从连接词和复合语句的角度讨论逻辑蕴含,可演绎性和一致性。这意味着我们会忽略语句中的其他的元素主语、谓词和量词等。命题和语句是有区别的,但暂时不区分,命题、语句或句子都是指的同样的东西。论说的前提和结论都是由陈述句构成。对于陈述句,我们给出简单的定义:对于任何一个语句ϕ\phiϕ,如果我们问下列问题是有意义的,ϕ\phiϕ是真的吗?ϕ\ph原创 2021-06-14 11:35:20 · 1996 阅读 · 0 评论 -
逻辑学引言
文章目录论说论说的好坏论说形式的好坏论说的好坏由论说的形式决定演绎可演绎性、可证性和独立性可演绎性与论说一致性逻辑学是关于论说(argument)的关于推理(inference, reasoning)的关于理论或信念一致性(consistency)的论说总结:推理、前提、结论日常中,人们说的句子大体可以分为两类:真句子和假句子。直接考察一个句子ϕ\phiϕ的真假往往是很难做到的,人们往往需要比较ϕ\phiϕ某些我们不相信(χ0,⋯ ,χn)\chi_0,\cdots,\chi_n)χ原创 2021-06-05 21:49:30 · 816 阅读 · 3 评论