论文部分内容阅读
用真值函项的观点来看待实质蕴涵导致的后果,一是把实质蕴涵的真值与其真假等同起来,二是没有用科学的态度来处理真值函项概念,使得实质蕴涵多样化,即"→"每一次出现代表了不同的实质蕴涵。正因如此,命题推理反例和实质蕴涵怪论才得以产生;而在特定的命题演算系统中消除实质蕴涵怪论的形式途径是取消v+规则。