一阶谓词逻辑

xc95105 37 0 PPT 2019-01-16 01:01:50

在Ls中,把命题分解到原子命题为止,认为原子命题是不能再分解的,仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样,有些推理用命题逻辑就难以确切地表示出来。

用户评论
请输入评论内容
评分:
暂无评论