第五节公式的蕴涵 逻辑的一个重要功能在于提供一种正确的思维 规律或推理规则等价关系可以用来推理,但 在逻辑推理中我们用得更多的是本节要讨论的 蕴涵关系 1本节首先给出了公式的蕴涵关系的三个等价定 义及蕴涵关系具有的性质给出了15个基本蕴 涵式; 2把蕴涵概念推广,得到公式的逻辑结果的定义 3为了研究推理,还引进演绎的概念; 4用实例说明推理方法 6 返回本章首页 2021/1212021/1/21 6 第五节 公式的蕴涵 逻辑的一个重要功能在于提供一种正确的思维 规律或推理规则.等价关系可以用来推理，但 在逻辑推理中我们用得更多的是本节要讨论的 蕴涵关系: 1.本节首先给出了公式的蕴涵关系的三个等价定 义,及蕴涵关系具有的性质,给出了15个基本蕴 涵式； 2.把蕴涵概念推广,得到公式的逻辑结果的定义； 3.为了研究推理，还引进演绎的概念； 4.用实例说明推理方法. 返回本章首页