归谬赋值法到底是怎么回事,能举几个例子说一下吗?

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/27 10:34:31

归谬赋值法到底是怎么回事,能举几个例子说一下吗?
归谬赋值法到底是怎么回事,能举几个例子说一下吗?

归谬赋值法到底是怎么回事,能举几个例子说一下吗?
归谬赋值法又称为简化真值表法,主要用来判定一个蕴含式是否为重言式.
该法的做题程序为:
首先,假设蕴含式为假,在其主联结词下面写上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在第一个箭头下面,必须每一个都对齐)
由此可见当假设蕴含式为假时会导致矛盾,所以蕴含式不为假,则为重言式.