本书对基本逻辑符号的应用,都是建立在我们日常生活和学习中所经常运用到的抽象思维能力。与绝大多数逻辑书中使用的“真值树”来教授你算法不同,本书培养并强化我们提出论点和评估论点的先天能力。本书还引入自然演绎法,这种方法不仅教会你如何进行证明和解决问题,还教会你有效推理的原则是什么,以及如何将其应用于学习和工作。本书还可以帮