消去蘊含邏輯詞
阿新 • • 發佈：2019-01-01
強迫症，一直不明白為什麼p->Q,為什麼可以用￢p∪Q替換,後來終於弄明白了。
首先不能從邏輯上認識，比如p推匯出Q，應該從p和Q的真假取值上分析上入手。
之前也是我一直沒有徹底理解這個問題的關鍵。
然後介紹數位電路的思想，從邏輯上認識之後，不管用什麼方式，只要能全面的表達出來這種邏輯，不管你內部的電路是怎麼實現的。
而p->Q，有個特徵
其實p→q⇔¬p∨q
→是蘊含符號，離散數學中，是這樣定義的：
當且僅當p真q假時，p→q為假（即表格中第3行值為0），即其餘三種情況下，都為真（表格中真值為1）
如果從這個角度看￢p∪Q
| p | Q | ￢p∪Q |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
這種真假關係該怎麼理解呢？
可以理解為這種推導關係是否成立，舉個例子：
1-1->0
如果1-1成立則等於0成立
如果1-1不成立則等於0也能成立，因為讓0成立的前提條件有很多，也許是2-2呢
如果1-1不成立則等於0也不成立，這個也能理解，不是1-1，又結果不為0的有很多。
最後1-1成立，但等於0不成立，這就純屬扯淡了，已經說好了，是1-1，結果又不是0，這種情況必然是假的