B001537　复合推理与真值表

---

戴月仙编著。上海教育出版社1990年1月版。8．8万字。真值表是一种计算真值形式的图表，真值表方法是判定复合推理有效性的简明有力的工具，它是传统逻辑向现代逻辑发展的第一个台阶。以介绍推理有效性的判定定理为中心，用真值表的方法解决选言、联言、假言、二难推理等复合推理的有效性。讲述人类对真值的认识发展的历史，对真值表方法研究的前景作了展望。