导图社区 真值表方法和归谬赋值法
有关逻辑学中真值表法和归谬赋值法的一些概念
社区模板帮助中心,点此进入>>
妈妈必读:一张0-1岁孩子认知发展的精确时间表
人际关系处理
人际交往思维导图
人生导航
处理人际关系6项原则
进行头脑风暴的准则的思维导图
自卑与超越
超强思维训练课
逻辑填空
东尼博赞简介
真值表方法和归谬赋值法
真
以复合命题的基本形式的真值表为基础,通过逻辑运算,任意确定一个复合命题的真值的逻辑方法(研究复合命题的有效形式)
步骤
确定初始列
2的n(命题变元)次方行
确定不同层次的结束列
依据各个支命题的真值和逻辑含义计算出各个结束列的真值
复合命题按真值不同分类
重言式
命题变元的所有可能的真值取值的场合,都具有真的真值
矛盾式
……,都具有假的真值
协调式
……,它的真值有真有假
归(简化的真)
用来判定蕴涵式是否是重言式的方法,只需假定蕴涵式为假时命题变元应有的一组真值取值
假定判断的蕴涵式时假的
由整体到局部,给不同层次的支命题指派真值,直至给出命题变元的一组真值指派
根据命题变元的真值指派是否包含矛盾,得出蕴涵式是否重言式的结论