昨天加今天学完了离散数学第五章加第六章，其中分别为命题逻辑和谓词逻辑。
两者基本内容大致相同，
都是由已知，通过逻辑推理，得到结论。
只是，命题逻辑针对的对象是命题，谓词逻辑更加细化。
谓词逻辑可以反映出命题中的一些关系等。
需要注意的也就更多一点，但大体内容相同。
