作业帮 > 数学 > 作业

真值表的“P真q假,推出如果p ,那么q”假,这是否与真值表中的“肯定前件和否定后件”矛盾呢?

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/11/06 09:28:13
真值表的“P真q假,推出如果p ,那么q”假,这是否与真值表中的“肯定前件和否定后件”矛盾呢?
“如果……那么……”构成的是蕴涵式.蕴涵式的推理有且仅有肯定前件式和否定后件式.
我想你是误解了肯定前件式.(P→Q∧P)→Q.这个才是肯定前件式.而你说的那个其实是这个规则的表达“P→Q为假,当且仅当P真而Q假”.也就是说,肯定前件式是在蕴涵式被确定为真的情况下的推理.而这句话是用来根据实际情况判断蕴涵式是否为真的.