何为一阶逻辑:
数学是尝试用数量和公式堆砌的模型来解释这个世界的一门科学，一阶逻辑从某种意义上说也属于数学的范畴，其尝试用刚性的，冰冷的个体词以及谓词堆砌起来的判断和推理去描述现实世界的语言和思维。
何为推理：
典型的推理就是著名的三段论
个体词和谓词是逻辑学中最基本的单元，个体词：可以独立存在的客体，可以是一个具体的实物也可以是一个抽象的概念；谓词：刻画个体词的性质或个体词之间关系的词。
1 凡人（抽象个体词）都是（谓词）要死的 ----------大前提
2 苏格拉底（具象个体词）是（谓词）人 ----------小前提
3 所以苏格拉底是（谓词）要死的 -----------结论
以上 大前提是一般性的原则，小前提是附属于大前提的特殊化陈述，进而引申出的特殊化陈述符合一般性原则的结论。
如何推理：
归纳法和演绎法
归纳法（个体--->>>一般）：由现实世界的数据为输入，进而得出一般性的原则（可能会出现错误的归纳）
例1：今天太阳从东边升起的，昨天太阳也是从东边升起的，前天太阳也是从东边升起的。
所以太阳每天都是从东边升起（正确的推理）
例2：A的老公喜欢熬夜打电动，B的老公也喜欢熬夜打电动，C的老公也喜欢熬夜打电动，、
因此得出结论：男人都喜欢熬夜打电动（错误的推理）
演绎法：是有抽象的一般性前提出发，通过推导得出具体的陈述或个别结论的过程
（三段论就是演绎推理中的一种简单形式）
如何判断推理的有效性和可靠性：
0 什么是有效性？什么是可靠性
有效推断：推断过程或者逻辑形式没有问题，但是前提有可能错误，最终可能导致得出荒谬的结论。
根据数据可以知晓一切业务状况，数据分析师应该了解一切数据，所以数据分析师知晓一切业务状况
可靠推断=有效推断+正确前提
所以可靠推断比有效推断更严谨，显然前面的三段论就是可靠推断。
1 反例法
攻击逻辑形式而非具体论证，不关心事实，关心逻辑推理模式
例：
所有好男人都早睡早起
囚犯n早睡早起
囚犯n是个好男人
显然囚犯是早睡早起里面的一个特例，反例。
2 反证法
为证明一个论证有效，可以证明前设容不下 反结论。
3 归谬法
假设对方的论点是正确的，然后从这一个论点中加以引申，推论。从而得出极其荒谬的，可笑的结论。用以反驳对方论点的一种论证方法
如果年龄越大，懂的就越多。那么那些百岁老人就是这世界上学问最高的人了。