快好知 kuaihz

真值形式的种类:包括重言式、矛盾式、偶真式

真值形式的种类:包括重言式、矛盾式、偶真式

1.重言式(永真式)

一个真值形式,如果不论其中的命题变项取值是什么,它的真值永远为真,那么这个真值形式就是重言式,也叫永真式。例如:p∨┐p,p→p等。

2.矛盾式(永假式)

一个真值形式,如果不论其中的命题变项取值是什么,它的真值永远为假,那么这个真值形式就是矛盾式,也叫永假式。例如:┐p∧p,┐(p→p)等。

3.偶真式(可满足式)

一个真值形式,如果对于其中命题变项的某些真值组合取值为真,对于其中命题变项的另一些真值组合取值为假,那么这个真值形式叫做偶真式,也叫可满足式。例如:p∨q,(p∨q)∧(p→q)等。

在这三种真值形式中,重言式尤为重要。因为重言式是逻辑真理的表现形式,是真值联结词的逻辑规律,因而也就是关于各种复合命题的逻辑规律。命题逻辑中全部有效推理都表现为重言式,传统逻辑中的同一律、矛盾律、排中律也都表现为重言式。因此,我们检验一个推理是否有效,就可以通过检查这一真值形式是否为重言式来决定。在重言式中,又以重言蕴涵式和重言等值式最为重要。它们是人们进行逻辑推理的根据。

本站资源来自互联网,仅供学习,如有侵权,请通知删除,敬请谅解!
搜索建议:重言  重言词条  真值  真值词条  种类  种类词条  矛盾  矛盾词条  形式  形式词条