论证的效性只跟逻辑关系有关
论证没有真假，只有论证形式是否有效
作者又在形式逻辑和非形式逻辑里无缝穿插！
第五章首先讲了什么是演绎论证的有效性。
这里就不得不提到形式逻辑里的形式是什么意思了。形式逻辑也叫做符号逻辑，有点像我们的数学公式，全部用符号来指代各个条件之间的关系。形式逻辑所说的形式，就是类似公式这样的东西。
比如：
所有奇点的员工都是天才。
所有天才都长得好看。
所有奇点的员工都长得好看。
两个前提必然能导致结论，这种必然不是内容上的，而是形式上的，通俗点说就是等量代换，变成通用的论证形式既是：
所有A都是B,
所有B都是C,
所有A都是C。
仿佛回到了学数学的噩梦里呢~
因为； a＝b
b=1
所以：a＝1
这种等量代换在逻辑上是保真的，所以，这种形式的论证都是有效的。
——————————————————————————————————
不学高数若干年后，我居然打了这样一张卡……
出来混果然都是要还的！
