真值表雖然不能證明等價公式是唯一的
但是可以證明2個公式是等價的
你舉的例子中 非P合取Q與P蘊含Q不是等價的
非P合取Q與P條件Q才是等價的
而非P合取Q與P蘊含Q如果要等價,必須加一個條件：P條件Q為一個重言式
不知道這么說能理解么,你仔細看一下關(guān)于蘊含式的定義您說的很對 那個符號我不會打。(⊙o⊙)…那么如果不能證明等價公式是唯一的，那么以后的公式推理該怎么證明呢，比如什么冪等律呀，結(jié)合律呀，就沒有理論基礎(chǔ)了呀，這只能說是一個巧合，而不能說是定律了吧。?？赡苁悄愕谋硎鲇袉栴}，或者是我理解有誤，2個公式不唯一，不影響他們的等價關(guān)系。比如說：┐Q∨P<=>P∨┐Q<=>P→Q3個式子是等價的，但不是唯一的你認為是一個巧合，那你可以舉一個反例在真值表中是用真式，但不是等價的。如果不能舉出，你就沒法說明定義是錯的。另外，條件那個箭頭打法：用搜狗拼音輸入法 按V 1 翻后面幾頁，大部分符號都有恩，您說是我理解的意思是，他們確實是等價的，但不可以證明定律呀，比如用的冪等律的， 不能說這幾個或者無數(shù)個式子是符合這條定律的，但你沒有辦法證明一切的式子都是符合的， 僅僅用真值表是沒法證明的呀，定律要求要有證明的呀，而書上給的是用真值表驗證的，但沒有證明，您說呢。我能加您QQ嗎，或者其他的方式，我以后學習的時候多多請教。 謝謝啊。對了 我知道沒有反例，可沒有證明 我總覺得不踏實怎么說呢，真值表這個就是等價的體現(xiàn)。因為等價就是建立在真值表上。就好比想要證明1+1=2是沒法證明的，這是約定俗成的東西。在真值表中值具有相同真值的式子就是無條件等價的。另外，我最近正在學離散，大家相互學習，談不上請教O(∩_∩)O~恩 那好吧，這個問題我再等等，如果沒有好的答案了，就采納你的了，我會加分的，謝謝您呀，這么辛苦給我打了這么多字。