资源最后更新于 2020-08-19 15:50:18
作者:魏凤琴 编
出版社:
出版日期:2011-01
ISBN:9787562039495
文件格式: pdf
标签: 逻辑学
简介· · · · · · 本书主要内容包括:绪论;命题的逻辑分析;命题推理的形式;真值表方法与命题演算;传统谓词逻辑;谓词演算;模态逻辑等。
本书主要内容包括:绪论;命题的逻辑分析;命题推理的形式;真值表方法与命题演算;传统谓词逻辑;谓词演算;模态逻辑等。