早教吧作业答案频道 -->其他-->
谓词逻辑的问题:是不是把命题逻辑符号化，就是谓词逻辑?例如"我是人"是个命题逻辑，那么H(x)表示"x是人"就是一个谓词逻辑，x的取值决定了这句话的真假。我这样理解对么?
题目详情
谓词逻辑的问题: 是不是把命题逻辑符号化，就是谓词逻辑?例如"我是人"是个命题逻辑，那么 H(x)表示"x是人"就是一个谓词逻辑，x的取值决定了这句话的真假。 我这样理解对么?
▼优质解答
答案和解析
我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体，这些个体赋值给这个函数以后呢得到了句子的真值 命题逻辑关注的是命题与命题之间的关系，命题和命题用与或非蕴含这些逻辑符号连接之后的真值，所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件，命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件 比如说p(小明是人）是一个真命题，q（小狗是人）是一个假命题，p&q根据命题逻辑就是一个假命题，至于p或者q为什么是真命题或假命题没法解释 谓词逻辑就可以解释为什么小明是人是真，小狗是人不是，因为是人这个函数对小明为真对小狗为假
看了谓词逻辑的问题:是不是把命题逻...的网友还看了以下：
数字逻辑（请选出一个正确的答案,填在括号内,要符合逻辑的角度）第4-10题：请从理论上或逻辑的角度 2020-05-13 …
赋值运算符与逻辑与运算符优先级以下关于运算符优先顺序的描述中正确的是。A、关系运算符＜算术运算符＜ 2020-06-26 …
迷惑!逻辑主语!marywantswatertodrink!这个句子中water是逻辑主语,在客观 2020-07-10 …
逻辑学问题逻辑学是研究思维的逻辑形式及其规律的科学这句话对吗书上说这句话是同语反复,但是逻辑学的书 2020-08-02 …
举例说明布尔逻辑算符中“逻辑与”、“逻辑或”、“逻辑非”的含义分别是什么? 2020-11-01 …
关于与非逻辑运算与、或、非是逻辑代数中三种最基本的运算，任意的逻辑表达式都可以看成是由这三种运算组合 2020-11-03 …
数据独立性分为逻辑独立性和物理独立性，当数据的储存结构改变时，其逻辑结构可以不变，因此基于逻辑结构的 2020-12-01 …
高高分求有福建师范大学逻辑学教师林新年的历年电子卷的请进8210《普通逻辑学》试题B卷一、填空题（每 2020-12-12 …
究竟逻辑学是数学的分支，还是数学是逻辑学的分支？究竟逻辑学是数学的分支，还是数学是逻辑学的分支？抑或 2020-12-22 …
x==和!=的区别?在看一本c++书时的疑问,=表示不等于.而在解释逻辑运算符时,逻辑非的表示形式为 2021-01-08 …