條件命題p→q
1：若p是真，q是真，則 p→q是真；
2：若p是真，q是假，則 p→q是假；
3：若p是假，q是真，則 p→q是真；
4：若p是假，q是假，則 p→q是真。
我們主要的疑問集中在3和4。即為什麼條件p為假的時候，不管結果q如何，p->q這個結論是真。
網友的看上去比較靠譜的見解：
這是規定而已，因為排中律的存在，當p為假時，不得不給 p->q 的真值規定乙個，但是實際上基於對現實的意義來說， p為假時,p->q可真可假，這就違反了排中律。所以作出這樣的規定，你也可以通過規定 p為假時，p->q 為假 ，由此衍生出乙個對稱的邏輯系統來。
當然，此時p->q的真值和 p or (not q) 就不相同了。
實際上，在另外的一些邏輯系統中，他們拒絕排中律的存在，由此衍生出三元邏輯：真，假，待定。
我的理解是，既然我們很難對這個命題進行正面的解釋，那麼我們可以採用等價命題的方式進行理解。因為p->q≡┓p∨q ,這樣的話就不難理解了。當p為假，則┓p為真。整個式子┓p∨q就為真。所以就有了上面的真值表。
命題邏輯之真值表
c語言版 亮點 1.qsort b,j,sizeof char cmp c語言標準庫函式 2.while 處理括號 處理否定 處理合取 可以消除運算子優先順序的問題，但是還是解決不了同級運算子的先後問題。如 p q r會變成p q r 3.模擬輾轉相除法給變元賦值 簡單明瞭，但是效率比不上位運算 i...
C語言 命題公式真值表
掌握命題公式真值表的求解，並實現自動求解程式。輸入 任意命題公式 輸出 該命題公式的真值表 要求 輸入任意命題公式，要求用資料儲存命題公式的所有賦值及對應真值，並輸出該公式真值表 此題，難度稍大，對命題公式的表示的方式不一樣，實現過程略有不同，可查詢相關資料。比較長，還需要細心 有什麼意見還請大佬提...
構造命題公式的真值表 biaobiao88
對給出的任意乙個命題公式 不超過四個命題變元 使學生會用c語言的程式程式設計表示出來，並且能夠計算它在各組真值指派下所應有的真值，畫出其真值表。includeusing namespace std struct int q 4 m int main for int i 0 i 4 i cout p交...