谓词逻辑的问题:是不是把命题逻辑符号化，就是谓词逻辑?例如"我是人"是个命题逻辑，那么H(x)表示"x是人"就是一个谓词逻辑，x的取值决定了这句话的真假。我这样理解对么?

题目详情

谓词逻辑的问题: 是不是把命题逻辑符号化，就是谓词逻辑?例如"我是人"是个命题逻辑，那么 H(x)表示"x是人"就是一个谓词逻辑，x的取值决定了这句话的真假。我这样理解对么?

▼优质解答

答案和解析

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

看了谓词逻辑的问题:是不是把命题逻...的网友还看了以下：

1：若x、y都是奇数,则x+y是偶数.其命题的否定为什么不是“若x、y都1：若x、y都是奇数,则x 　2020-04-09 …

求证函数的差分等式的问题如何证明f(x)=x^m(即x的m次方）的m-1级差分等于m!(x+1/2 　2020-05-13 …

某工厂流水线生产涂色小木球,生产次序是:5个红、4个黄、3个绿、2个黑、1个白.然后,依次按5个红　2020-05-13 …

英语翻译1、图书馆现在关门了吗?是的,它6点就关门了.2、这家超市每天营业24小时.3、在这幢高楼　2020-05-14 …

对于任意实数x,符号[x]表示x的整数部分,即[x]是不超过x的最大整数,那么[log3^1]+[ 　2020-05-16 …

右边两图是一个等腰Rt△ABC和一个等边△DEF，要求把它们分别割成三个三角形，使分得的三个三角形　2020-05-21 …

1.若x是非零自然数,y=x^4+2x^3+2x^2+2x+1,则（）A.y一定是完全平方数B.y 　2020-06-07 …

f(x)是R上的函数,若f(x+1)和f(x-1)都是奇函数,则下列判断正确的是1、f(x)是偶函　2020-06-08 …

某人请客,客人们是2个人用1个饭碗,3个人同喝一碗汤,4个人吃1碗菜,总共用了65个碗,问客人有几　2020-06-16 …

下列表中所列出的是否是某个随机变量的分布律1.x=0,pk=0.2；x=1,pk=0.3；x=2, 　2020-06-19 …