chapter1基础：逻辑和证明

什么是逻辑？

这个貌似我也不明白！

不过我还是记得一些逻辑符号的，如非A，A交B,A并B。

+--------------+

1.1

命题：是一个或真或假的陈述语句。

复合命题：“非p”,"p并且q","p或q","p和q"的异或。

条件语句：p和q 为命题。条件语句p-->q是命题"若p,则q",当p为真而q为假时，条件语句p-->q为假，否则为真。

        数学里描述定理，一般都有条件的。因为定理的成立不可能是一点约束也没用。

正因为这样，数学有时对很复杂的东西也无能为力。但是数学有时解决的就是些很特殊的内容。

比如线性代数里求A和B矩阵是否相似问题，对于一般性问题没有结论。可是如果A和B是对称矩阵，

对于A和B是否相似就可以求解了。

逆，倒置，否

双条件语句。

1.2命题等价

逻辑等价：在所有可能的情况下都有相同的真值的两个复合命题称为逻辑等价。（有定义可知证明逻辑等价基本

方法就是考察都有相同的真值）。

很重要的公式：

     德摩根定律，条件语句的等价形式。

1.3谓词和量词

1.4嵌套量词

1.5推理规则

命题推理的有效论证：命题逻辑中的一个论证是一连串的命题。除了论证中最后一个命题外都叫前提，最后那个命

题叫结论。当它的所有前提为真意味着结论为真时，一个论证是有效的。

（从这句定义看，前题都为真，要求各个前提是用"交"联接词连在一起的）

看看一些常见推理规则：

假言推理

取拒式

假言三段论

析取三段论

附加

化简

合取

消解

1.6证明导论

直接证明，反证法，归谬法

1.7证明的方法和策略

穷举证明和分情形证明（分类证明）