证明下列公式是重言式：﹁q→((p→q)→﹁p)

如题所述

举报该问题

第1个回答 2013-03-11

需要用到的原理：﹁A → B =>A V B ; A → ﹁B => ﹁A V ﹁B。
﹁q→((p→q)→﹁p) => q V （﹁（﹁ p V q）V ﹁p）
=> q V （（p ∧ ﹁q）V ﹁p）
=>q V （（p V ﹁p）∧ ﹁q）
=>q V ﹁q
=>1
所以为重言式本回答被提问者采纳

相似回答

判断是否重言式P→(q→﹁﹁p)答：是重言式可化简为P→（q→p）,只有当p=1,(q->p)=0时式子才可能为0,即为假但p=1时,显然有q->p=1 所以P→（q→p）=1恒成立即为重言式

离散数学判定重言式答：（b）根据定义来证明 ¬（p⊕q）⇔¬（¬（p↔q））⇔p↔q （c）(p→q)→((r→p)→(r→q))⇔¬(p→q)∨((r→p)→(r→q)) 变成合取析取 ⇔¬(¬p∨q)∨(¬(r→p)∨(r→q)) 变成合取析取 &...

命题公式的真值表是什么?答：此命题公式真值表如下：其析取式：（﹁p→q）→（q→﹁p）等值于一个析取式，这个析取式应为或者（﹁p→q）假，或者（q→﹁p）真，即﹁（﹁p→q）∨（q→﹁p），可转化为(﹁p∧﹁q)∨(q→﹁p)。命题公式(propositional formula)亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符...

离散数学问题,判断重言式答：ABD都是重言式，C是矛盾式。A是蕴涵式的形式，其为假只有一种情况：前件P∧Q真，后件P∨Q假。这是不可能的，因为P∧Q真，则P,Q皆真，所以P∨Q真。所以A是重言式。B可以看作是P<->Q的定义，也应该是一个作为公式使用的等值式，称之为等价等值式。C是合取式，其为真只有一种情况：┐(P...

重言式的可满足式和非重言式的可满足式的区别答：简单来说，若真值表最后一列中，至少有一个1，则公式为可满足式。结合重言式的定义，就不难发现，其实可满足式的定义是包括重言式的。因此，“重言式的可满足式”（我也不太确定有没有这种说法）就是重言式；而非重言式的可满足式则是去掉了重言式那一部分的可满足式，在真值表上的体现就是最后...

如何用归谬法证明重言式是假的?答：归谬赋值法又称为简化真值表法，主要用来判定一个蕴含式是否为重言式。该法的做题程序为：首先，假设蕴含式为假，在其主联结词下面写上0.其次，根据上述假设，先对前件赋值为真，对后件赋值为假，分别在前件下面协商1，在后件下面写上0；然后，基于五个真值联结词的运算规则，逐层赋值，为真的在...

大家正在搜

如何证明重言式证明重言式的方法用归谬赋值法证明重言式用形式证明的方法证明重言蕴含式证明简化真值表证明重言式不构造真值表证明下列蕴含式重言式是可满足是吗是否为重言式

证明﹁(p∨(﹁p∧q))在逻辑上等价于﹁p∧﹁q？

构造命题公式(p^(P→q))→q的真值表

离散数学问题，求大神

离散数学单项选择题

（离散数学）对((p→q)∧(q→r))→(p→r)进行等值...

如何判定((p→q)∨(r→s))→((p∨r)→(q∨s)...

用真值表法判定以下真值形式的类型（重言式、矛盾式或协调式）。...