举例说明什么是归谬赋值法:基本思想与解题步骤

2021年3月8日10:53:58举例说明什么是归谬赋值法:基本思想与解题步骤已关闭评论

举例说明什么是归谬赋值法:基本思想与解题步骤

归谬赋值法是简化的真值表方法,它主要应用于判定蕴涵式和可转换为蕴涵式的等值式、析取式。

这种方法的基本思想是:

要说明一个蕴涵式是重言式,那么也就意味着前件真而后件假是不可能的。即如果前件真而后件假,则这种情况下给变项的赋值一定会出现逻辑矛盾。因此,可以先假定某蕴涵式的逻辑值为假,即假定其前件为真而后件为假,由此来倒推其变项的赋值(根据联结词的真值定义)情况。如出现逻辑矛盾,则证明该蕴涵式为重言式;如果不出现逻辑矛盾,则说明该形式不是重言式。

例如:

①判定p∧(p→q)→(┐q→┐p)是否为重言式。

举例说明什么是归谬赋值法:基本思想与解题步骤

其中变项q出现了逻辑矛盾,这就表明原来的假设(前件真而后件假)是不成立的。既然如此,那么该蕴涵式不存在前件真而后件假的情况,也就是说该公式不能为假,所以原公式为重言式。

②判定(p→q)→(q→┐p)是否为重言式

举例说明什么是归谬赋值法:基本思想与解题步骤

根据以上推导,变项的赋值没有出现逻辑矛盾,因此该命题形式不是重言式。

  • 版权声明:本篇文章(包括图片)来自网络,由程序自动采集,著作权(版权)归原作者所有,如有侵权联系我们删除,联系方式(QQ:452038415)。