欢迎来到中文知识站!
>
谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。
形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。
这个推理的前提和结论里都没有连接词,它们不是复合命题而是简单命题。
图文推荐
相关文章