实质蕴涵之我见

实质蕴涵并不违反直观。当P假时，无论P真或假，P～P都为真，这只不过是P假的强调说法；当q真时，无论p真或假，p→q都为真，这只不过是q真的强调说法；实质蕴涵分为退化的和未退化的两类，前者不能无矛盾地成为肯定前件式和否定后件式推理的前提，因而不能在推理过程中实际起作用；后者可以重新定义为p←→p∧q，即后件含蓄地包含在前件中；实质蕴涵具有普遍适用性和操作方便性。

假言判断和实质蕴涵

有些逻辑学教科书在讲述假言判断的内容时,引入了实质蘊涵这一概念和实质蘊涵真值表,但是,由于没有讲清假言判断和实质蘊涵的关系,因而造成一些混乱,甚至出现前后矛盾的现象。本文试图把传统逻辑所讲的假言判断和实质蘊涵作一对比,找出它们的联系和区别,以利于我们的教学。

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

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

两种假言命题和两种蕴涵

两种假言命题和两种蕴涵孙放（一）正如依据选言支是否相容、是否可以同真而分为相容与不相容两种选言命题一样，以“如果，则”为标准联结词的假言命题，也须依据其前、后件间是否有必然联系，即是否有充分条件关系而分为条件关系命题（严格蕴涵命题）和假设关系命题（实...