作业帮 > 综合 > 作业

等价公式成立的依据我总觉得真值表是一个巧合,真值表不能证明等价公式是唯一的）希望能得到解答 我是初学的

来源：学生作业帮 编辑：作业帮 分类：综合作业 时间：2024/05/16 06:48:41
等价公式成立的依据
我总觉得真值表是一个巧合,真值表不能证明等价公式是唯一的）
希望能得到解答 我是初学的
真值表虽然不能证明等价公式是唯一的
但是可以证明2个公式是等价的
你举的例子中 非P合取Q与P蕴含Q不是等价的
非P合取Q与P条件Q才是等价的
而非P合取Q与P蕴含Q如果要等价,必须加一个条件：P条件Q为一个重言式
不知道这么说能理解么,你仔细看一下关于蕴含式的定义
再问： 您说的很对 那个符号我不会打。(⊙o⊙)… 那么如果不能证明等价公式是唯一的，那么以后的公式推理该怎么证明呢，比如什么幂等律呀，结合律呀，就没有理论基础了呀，这只能说是一个巧合，而不能说是定律了吧。。
再答： 可能是你的表述有问题，或者是我理解有误，2个公式不唯一，不影响他们的等价关系。 比如说：┐Q∨PP∨┐QP→Q 3个式子是等价的，但不是唯一的 你认为是一个巧合，那你可以举一个反例 在真值表中是用真式，但不是等价的。 如果不能举出，你就没法说明定义是错的。 另外，条件那个箭头打法：用搜狗拼音输入法 按V 1 翻后面几页，大部分符号都有
再问： 恩，您说是 我理解的意思是，他们确实是等价的，但不可以证明定律呀，比如用的幂等律的， 不能说这几个或者无数个式子是符合这条定律的，但你没有办法证明一切的式子都是符合的， 仅仅用真值表是没法证明的呀，定律要求要有证明的呀，而书上给的是用真值表验证的，但没有证明，您说呢。 我能加您QQ吗，或者其他的方式，我以后学习的时候多多请教。 谢谢啊。 对了 我知道没有反例，可没有证明 我总觉得不踏实
再答： 怎么说呢，真值表这个就是等价的体现。因为等价就是建立在真值表上。 就好比想要证明1+1=2是没法证明的，这是约定俗成的东西。 在真值表中值具有相同真值的式子就是无条件等价的。 另外，我最近正在学离散，大家相互学习，谈不上请教O(∩_∩)O~
再问： 恩 那好吧，这个问题我再等等，如果没有好的答案了，就采纳你的了，我会加分的，谢谢您呀，这么辛苦给我打了这么多字。
等价公式成立的依据我总觉得真值表是一个巧合,真值表不能证明等价公式是唯一的）希望能得到解答 我是初学的 离散数学的等价公式中吸收律P∧(P∨Q)=P的证明?不用真值表, 下列等价公式成立的为( )． 用真值表或公式定理证明 离散数学等价等值式公式的证明. 等价无穷小公式的使用. 如图为一个逻辑电路图及其真值表，下列说法中正确的是（　　） 与门真值表和与非门真值表的区别 [离散数学]推导如下命题公式是等价的. 命题公式A与B是等价的含义 试求命题的真值表并解释其结果,这个是题目的原话,我做出来真值表了,难道我真值表得出的结果就是已经要我解释的了? 逻辑函数真值表确定后,描述函数功能的方法中具有唯一性的是