【新逻辑学】.pdf
4420/1989 新逻辑学 王继同黄华新主编
王维贤 1989年10月1日 王继同等同志编写的这本《新逻辑学》,为我们的教材改革 提供了一个新的有益的尝试。它吸收了现代逻辑的成果,但又不 抛弃传统逻辑,而是把现代的命题逻辑、谓词逻辑、模态逻辑以 及现代归纳逻辑放在相应的传统逻辑的后面单独讲授,并增加了 同自然语言逻辑形式分析极为密切的“预设”一章,这就使本书 在材料安排和处理上独具特色,希望能引起逻辑教学工作者的注 意。
篇 第二节联言命题及其推理 第三节选言命题及其推理 第四节假言命题及其推理 第五节负命题及其推理 第六节其它复合命题推理 真值联结词 真值形式 真值表方法 形式推演(上)一命题演算系统简介 形式推演(下)一条件推演与间接推演 性质命题 性质命题的直接推理 三段论 性质命题的符号化 关系命题及其推理 谓词逻辑的自然演 
