早教吧 育儿知识 作业答案 考试题库 百科 知识分享

归谬赋值法是什么

题目详情
归谬赋值法是什么
▼优质解答
答案和解析
归谬赋值法又称为简化真值表法,主要用来判定一个蕴含式是否为重言式。 该法的做题程序为: 首先,假设蕴含式为假,在其主联结词下面写上0. 其次,根据上述假设,先对前件赋值为真,对后件赋值为假,分别在前件下面协商1,在后件下面写上0;然后,基于五个真值联结词的运算规则,逐层赋值,为真的在联结词下面写1,为假的写0.直到每个命题变项都被赋值为止。 最后,如果根据赋值导致逻辑矛盾,说明假设错误,则命题公示是重言式;如果假设成立,不导致矛盾,则不是重言式。 例如:(p ∧ q → r) → 【 p → ( q → r)】 1 1 1 1 0 0 1 0 1 0 0 0 (ps:这里一提交后,就对不齐了,没办法说明一下。第一排第一个p下面是1,接下来是合取符号下面的1,接下来是q下面的1,然后是第一个箭头下的1,r下的是0,第二个箭头下的0,接下来额那个p的下面是1,第三个箭头是0,q下1.第四个箭头下0‘最后一个r下面0。第二排的0在第一个箭头下面,必须每一个都对齐) 由此可见当假设蕴含式为假时会导致矛盾,所以蕴含式不为假,则为重言式。 有帮助请点好评或者采纳 祝你新的一学期学习进步!