谓词逻辑的问题： 是不是把命题逻辑符号化，就是谓词逻辑？ 我觉得谓词逻辑就是把2113谓词看成一个函数f(x)然后把5261主语4102看成个体，这些个体赋值给这个1653函数以后呢得到了句子的真值命题逻辑关注的是命题与命题之间的关系，命题和命题用与或非蕴含这些逻辑符号连接之后的真值，所以说谓词逻辑可以解释atomic命题的真值条件以及组合命题的真值条件，命题逻辑只解释atomic命题由各种关系组合之后的命题的真值条件比如说p(小明是人）是一个真命题，q（小狗是人）是一个假命题，p&q根据命题逻辑就是一个假命题，至于p或者q为什么是真命题或假命题没法解释谓词逻辑就可以解释为什么小明是人是真，小狗是人不是，因为是人这个函数对小明为真对小狗为假
问一个关于离散数学谓词逻辑（一阶逻辑）的问题￥.将下列命题用 0元 谓词符号化“。 问一个关于离散数学谓词逻辑（一阶逻辑）的问题￥.将下列命题用 0元 谓词符号化“.问一个关于离散数学谓词逻辑（一阶逻辑）的问题￥.将下列命题用 0元 谓词符号化“除非。
用谓词表达式写出下列命题；；；；1，王亮是足球运动员或排球运动员.具体格式怎么写？ 记a：王亮，F(x)：x是足球运动员，G(x)：x是排球运动员.符号化为：(F(a)∧Q(a))∨(┐F(a)∧Q(a))
