真值形式:什么意思、判定定义

2021年3月8日10:48:11真值形式:什么意思、判定定义已关闭评论

真值形式:什么意思、判定定义

真值形式是指由真值联结词(命题联结词)和命题变项所构成的形式结构,也就是各种复合命题的命题形式。

所谓命题形式,其外延定义是:

(1)任何命题变项p,q,r……是命题形式,且┐p,p∧q,p∨q,p→q,p↔q是命题形式。

(2)如果A和B是命题形式,那么┐A,(A∧B),(A∨B),(A→B),(A↔B)也是命题形式。

根据上述定义可知:p,p∧(q→p),┐┐p,(┐p∨┐q)→(p→q)等都是真值形式;而p→,→→q等由于不符合规定,所以不是真值形式。

在命题逻辑中,基本的真值形式有五种:

否定式:┐p

合取式;p∧q

析取式:p∨q

蕴涵式:p→q

等值式:p↔q

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