离散数学 --- 命题逻辑 --- 基本推理形式和自然演绎法推理

第一部分 --- 基本推理形式

1.上面这个蕴含符号和之前将的等价符号一样，都是用来表示两个命题与命题之间的关系的，而不是用来进行命题计算的。

2.推理的有效性和结果的真实性并不是一回事，有效的推理并不一定能够带来真实的结果，原因是当推理的前提条件中有假的时候，我们依然能够进行有效的推理，但是推理出的结果为假

如何证明公式H是前提集合的逻辑结果？ -- 当且仅当前提推结果为永真公式

 上面这个判定方法是用来判定命题公式是不是永真公式的

1.真值表技术 --- 看看所有真值是否都为1

2.公式转换法 --- 看看用基本等价关系转换出的公式是否为1

3.主析取范式法 --- 如果是永真公式的话，则这个命题公式的主析取范式会取得所有的极小项

 箭头的左边是前提，箭头的右边是根据前提推出的逻辑结果