若p則q

在《數學原理》中，定義了蘊涵，記為é，它與弗雷格的實質蘊涵意義相同，即péq就是若p為真，則q必真；而若p為假，則不論q為真或假都有péq，即一個假命題 ...

這是我說邏輯蘊含，其蘊含比較強的意思。 邏輯蘊含跟實質蘊含都不是真值函數。 真值給定函數是給定命題真值的函數：定義域為命題集，對應域為真值集。

“三不朽”的实质蕴含、总体特征及时代昭示 · 摘要： "三不朽"一直被传统主流文化所倡导和追求,但历代注家对其思想文化蕴含的解读不尽相同,在一定程度上也影响着其文化效用的 ...

在命題演算，或在數學的邏輯演算中，實質條件、實質蘊涵或蘊涵運算元是一種二元的真值泛函的邏輯運算符，它有著如下形式：如果A那麼B，這裡的A和B是陳述變數（可以被 ...