实质蕴涵式相关论文
实质蕴涵并不违反直观。当P假时,无论P真或假,P~P都为真,这只不过是P假的强调说法;当q真时,无论p真或假,p→q都为真,这只不过是q真的强调说......
普遍逻辑根据推理的前提和结论之间是否有蕴涵关系这个标准,把推理分为必然推理和或然推理。前提与结论之间有蕴涵关系的推理叫必......
两种假言命题和两种蕴涵孙放(一)正如依据选言支是否相容、是否可以同真而分为相容与不相容两种选言命题一样,以“如果,则”为标准联结......