谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?例如"我是人"是个命题逻辑,那么H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.我这样理解对么?
问题描述：
谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?
例如"我是人"是个命题逻辑,那么
H(x)表示"x是人"就是一个谓词逻辑,x的取值决定了这句话的真假.
我这样理解对么?
答
我觉得谓词逻辑就是把谓词看成一个函数f(x)然后把主语看成个体,这些个体赋值给这个函数以后呢得到了句子的真值命题逻辑关注的是命题与命题之间的关系,命题和命题用与或非蕴含这些逻辑符号连接之后的真值,所以说谓词...