实质蕴涵之我见

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