等价公式成立的依据

真值表虽然不能证明等价公式是唯一的
但是可以证明2个公式是等价的
你举的例子中 非P合取Q与P蕴含Q不是等价的
非P合取Q与P条件Q才是等价的
而非P合取Q与P蕴含Q如果要等价,必须加一个条件：P条件Q为一个重言式
不知道这么说能理解么,你仔细看一下关于蕴含式的定义您说的很对 那个符号我不会打。(⊙o⊙)…那么如果不能证明等价公式是唯一的，那么以后的公式推理该怎么证明呢，比如什么幂等律呀，结合律呀，就没有理论基础了呀，这只能说是一个巧合，而不能说是定律了吧。。可能是你的表述有问题，或者是我理解有误，2个公式不唯一，不影响他们的等价关系。比如说：┐Q∨PP∨┐QP→Q3个式子是等价的，但不是唯一的你认为是一个巧合，那你可以举一个反例在真值表中是用真式，但不是等价的。如果不能举出，你就没法说明定义是错的。另外，条件那个箭头打法：用搜狗拼音输入法 按V 1 翻后面几页，大部分符号都有恩，您说是我理解的意思是，他们确实是等价的，但不可以证明定律呀，比如用的幂等律的， 不能说这几个或者无数个式子是符合这条定律的，但你没有办法证明一切的式子都是符合的， 仅仅用真值表是没法证明的呀，定律要求要有证明的呀，而书上给的是用真值表验证的，但没有证明，您说呢。我能加您QQ吗，或者其他的方式，我以后学习的时候多多请教。 谢谢啊。对了 我知道没有反例，可没有证明 我总觉得不踏实怎么说呢，真值表这个就是等价的体现。因为等价就是建立在真值表上。就好比想要证明1+1=2是没法证明的，这是约定俗成的东西。在真值表中值具有相同真值的式子就是无条件等价的。另外，我最近正在学离散，大家相互学习，谈不上请教O(∩_∩)O~恩 那好吧，这个问题我再等等，如果没有好的答案了，就采纳你的了，我会加分的，谢谢您呀，这么辛苦给我打了这么多字。