正确理解和掌握演绎推理的本质——蕴涵

普遍逻辑根据推理的前提和结论之间是否有蕴涵关系这个标准,把推理分为必然推理和或然推理。前提与结论之间有蕴涵关系的推理叫必然推理,即演绎推理。所谓蕴涵,是指一种逻辑运算,通过这种运算,借助于由“如果……则……”所表达的逻辑联结词,就可由两个命题A和B组成一个复合命题:“如果A,则B”,也可读为“A蕴涵B”。在数理逻辑中一般记为“A→B”或“AB”。其中“如果……则……”称为蕴涵词,即表示两个命题具有涵关系的逻辑联结词;“A→B”则为蕴涵式;A同B之间的关系即可称之为涵关系。传统逻辑中的简单命题推理。