在我学习离散数学中的数理逻辑部分内容时，命题逻辑的学习虽然开始有些困难，但仔细琢磨后还是能理解（其实理解的很粗浅），但是我发现到了命题的逻辑推理部分，如果依然按照前面的学习方法，按照课本和老师的解题步骤，套用公式，解答问题，即便是得到了正确的结果，但我必然会丧失数理逻辑的精华所在。更别提有很多奇怪名字的公式，到底是什么意思。而离散数学教材很少有系统而细致的解答我疑惑的特殊章节，这促使我拿起专门的逻辑学教材，才了解到古典逻辑，现代逻辑，推理，证明，演绎，归纳，等等名词的题中之义。在学习过程中同时也发现，逻辑推理能力，作为通识教育的一部分，也必将影响我的方方面面。

以下内容摘自逻辑与哲学第九版与逻辑学导论13版

注意原文中，部分联结词翻译的很别扭，需要自己调整语序和词汇，理解意思就行

（一）基本概念

1.命题

image.png

image.png

image.png

image.png

2.论证

image.png

image.png

image.png

image.png

image.png

image.png

image.png

3.演绎与归纳

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png

4.有效性和真实性

image.png

image.png

image.png

image.png

image.png

image.png

image.png

image.png

根据以上内容，可以总结出一个重要法则：

image.png

5.可靠性

image.png

image.png

image.png

image.png

image.png

image.png

6.相容性

image.png

image.png

image.png

image.png

image.png