離線《邏輯蘊涵與實質蘊涵》一文提及，“在實質蘊涵中，條件句“如果A，則B”的真值取決於其分句A、B的真值：當前件A真而後件B假時，這個條件句就是假的；並且也只有在這種情況下這個條件句才是假的。”
試比較：
(1) 如果陳水扁身高七呎，那麼他就會至少有兩公尺高。
(2) 如果陳水扁身高七呎，那麼他就會矮於一點五公尺。
以上(1)(2)中，前件后件都為假 ，但(1)為真，(2)卻為假。
(2)顯然不符合實質 蘊含的描述。
例子來自王文方的《虛擬條件句理論述評》
“如果A，則B”并非都是實質蘊含
貼於：週日, 10/04/2009 - 20:41
請問甚麼是實質蘊含?
蘊含可能不是正確用法，但我講的是同一樣嘢
我反駁的是文中這句話：
“條件句“如果A，則B”稱為實質蘊涵(Material Implication)。”
實質蘊涵是標準邏輯中的概念。在「如果A，則B」這個句式中，規定如果A真B假，則這個句子就是假，而在其他情況下（A真B真，A假B真，A假B假）它都是真的。在這種規定下，「如果A，則B」就是實質蘊涵。
你說得對，並非所有「如果...則...」的句子都是實質蘊涵。實質蘊涵是標準邏輯的概念，它與日常語言中的「如果...則...」並不完全等同。
在那篇拙文中，筆者主要想講述「假值傳遞」與「否定前項」的區別，而在否定前項的論證中，其中一個前提「如果...則...」就是實質蘊涵。所以拙文只討論實質蘊涵，不討論其他，以免節外生枝。
當然，拙文的敘述不夠嚴謹，容易使人誤以為所有「如果...則...」的句子都是實質蘊涵。應將「條件句“如果A，則B”稱為實質蘊涵」改為「在標準邏輯中，條件句“如果A，則B”稱為實質蘊涵」。
謝謝提醒。
在即將出版的拙作《思考方法》中，有一個部分我想討論「假值傳遞與否定前項的區分」，於是在那裡我就先討論「邏輯蘊涵與實質蘊涵」。但在本網站中，我將這部分的內容分兩篇貼出。
期待海澎兄的思方通識教科書.