命题逻辑 谓词逻辑

昨天加今天学完了离散数学第五章加第六章，其中分别为命题逻辑和谓词逻辑。

两者基本内容大致相同，

都是由已知，通过逻辑推理，得到结论。

只是，命题逻辑针对的对象是命题，谓词逻辑更加细化。

谓词逻辑可以反映出命题中的一些关系等。

需要注意的也就更多一点，但大体内容相同。