實質非蘊涵維基百科,自由的 encyclopedia 實質非蘊涵是對實質蘊涵的否定。即是說:對於任何兩個命題P和Q,若且唯若非P實質蘊涵Q,P實質非蘊涵Q。用更顯明的話語來解釋就是:由P到Q的實質非蘊涵僅在P為真,Q為假時成立。 此條目沒有列出任何參考或來源。 (2016年10月3日) A ↛ B {\displaystyle A\nrightarrow B} 的文氏圖 ∧ {\displaystyle \land } ⇔ {\displaystyle \Leftrightarrow } ⇔ ¬ {\displaystyle \Leftrightarrow \neg } 邏輯學符號可以如此表示實質非蘊涵: p⊅q Lpq p↛q 實質非蘊涵等同於: p∧~q
實質非蘊涵是對實質蘊涵的否定。即是說:對於任何兩個命題P和Q,若且唯若非P實質蘊涵Q,P實質非蘊涵Q。用更顯明的話語來解釋就是:由P到Q的實質非蘊涵僅在P為真,Q為假時成立。 此條目沒有列出任何參考或來源。 (2016年10月3日) A ↛ B {\displaystyle A\nrightarrow B} 的文氏圖 ∧ {\displaystyle \land } ⇔ {\displaystyle \Leftrightarrow } ⇔ ¬ {\displaystyle \Leftrightarrow \neg } 邏輯學符號可以如此表示實質非蘊涵: p⊅q Lpq p↛q 實質非蘊涵等同於: p∧~q