谓词逻辑的问题: 是不是把命题逻辑符号化，就是谓词逻辑?

如题所述

举报该文章

第1个回答 2019-12-12

我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体，这些个体赋值给这个函数以后呢得到了句子的真值
命题逻辑关注的是命题与命题之间的关系，命题和命题用与或非蕴含这些逻辑符号连接之后的真值，所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件，命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件
比如说p(小明是人）是一个真命题，q（小狗是人）是一个假命题，p&q根据命题逻辑就是一个假命题，至于p或者q为什么是真命题或假命题没法解释
谓词逻辑就可以解释为什么小明是人是真，小狗是人不是，因为是人这个函数对小明为真对小狗为假

谓词逻辑的问题: 是不是把命题逻辑符号化,就是谓词逻辑?
我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体，这些个体赋值给这个函数以后呢得到了句子的真值命题逻辑关注的是命题与命题之间的关系，命题和命题用与或非蕴含这些逻辑符号连接之后的真值，所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件，命题逻辑只解释atomic命题由各种...

命题逻辑和谓词逻辑之间有什么关系?
而谓词逻辑，是将命题逻辑表达不出来的逻辑继续细化，比如A（x,y）表示x喜欢y，则“小明喜欢数学”可以表示为A（小明，数学）。命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是...

谓词逻辑和命题逻辑的区别和联系是什么
1、命题逻辑显然可以看作谓词逻辑的一个子集.因为谓词逻辑中一般是允许出现0元谓词的.全部由0元谓词的构成的公式就是命题逻辑公式了.2、正如前面庄老师所说,当论域为一个大小确定的有限集时,一个谓词公式可以等价地转化成一个命题逻辑公式.当不特别说明论域（即,只在语法层面上讨论,不涉及语义）,或...

谓词逻辑的公式与解释
h谓词公式，由原子公式、联结词和量词可构成谓词公式(严格定义见教材). 命题的符号化结果都是谓词公式.例如"x(F(x)®G(x))，$x(F(x)ÙG(x))，"x"y(F(x)ÙF(y)ÙL(x,y)®H(x,y))等都是谓词公式.h变元与辖域，在谓词公式"xA和$xA中，x是指导变元，...

简述命题逻辑与谓词逻辑的异同点
1、命题逻辑显然可以看作谓词逻辑的一个子集。因为谓词逻辑中一般是允许出现0元谓词的。全部由0元谓词的构成的公式就是命题逻辑公式了。2、正如前面庄老师所说，当论域为一个大小确定的有限集时，一个谓词公式可以等价地转化成一个命题逻辑公式。当不特别说明论域（即，只在语法层面上讨论，不涉及语义...

谓词逻辑和命题逻辑题目有什么区别
谓词逻辑可以表达更具体的信息，比如属性、关系和数量等。2、命题逻辑是一种更简单的逻辑系统，它只关注命题的真假，而不考虑命题的具体内容。在命题逻辑中，每个句子都是由一个命题构成的，命题可以是一个陈述句、一个疑问句或者一个命令句。命题逻辑只能表达一些简单的想法，比如判断两个事物之间的关系...

谓词逻辑属于什么逻辑
谓词逻辑属于分析哲学逻辑，具体说明如下：谓词逻辑是一种用于表达和推理关于特定主体或概念的命题的逻辑。它可以帮助我们理解现实世界，通过将现实世界中的概念和命题转化为逻辑符号，进行推理和分析，以获得更深入的理解。以下是一些谓词逻辑如何帮助我们理解现实世界的方式：1、明确概念和命题谓词逻辑使用特定...

谓词逻辑是什么?举个例子。
设：F（x）：x是有理数.G（x）：x是实数.P（x）：x是整数，原命题符号化为：前提：Ax（F（x）→G（x）），EX（F（X）AP Q（x）：x是有理数R（x）：x是实数1任意x（Q（x）--->R（x））。2存在x（Q（x）且非R（x））。（1）所有的有理数均可表成分数。Q（x）：x是有理...

一阶谓词逻辑将原子命题分解为什么词和谓词
没有什么意义，但给这个符号串一个解释，使它具有真值，就变成一个命题。所谓解释就是使公式中的每一个变项都有个体域中的元素相对应。在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是全总个体域。一般地，使用全称量词，特性谓词后用；使用存在量词$，特性谓词后用Ù。