重言蕴含

编辑:运用网互动百科 时间:2020-01-19 21:07:22
编辑 锁定
本词条缺少名片图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧!
重言蕴含 逻辑学 概念
中文名
重言蕴含
概    念
重言蕴含
判    断
判断重言蕴含

目录

重言蕴含定义

编辑
重言式(Tautology )又称为永真式
设p、q为两个命题。复合命题"如果p,则q"称为p与q的蕴含式,记作p→q。并称p为蕴含式的前件,q为后件。并规定p→q为假当且仅当p为指真q为假。
性质
重言式有一个重要的逻辑特征,永远真实。
意思是:不论逻辑变元怎么取值,蕴含式总体的值总是真的。
这样,我们可以去通过检查一个蕴含式,在其逻辑变元所有取值的情况下,有怎样的真值情况,来判断它是否重言蕴含。
很明显,在一切情况下蕴含式的值都是真的, 该蕴含式就是重言蕴含式,否则,不是重言蕴含式。

重言蕴含应用

编辑
逻辑学基础考试