实质非ひ蕴涵

$A\nrightarrow B$的てき文ぶん氏し图

$\land$ $\Leftrightarrow$ $\Leftrightarrow \neg$

实质非ひ蕴涵是ぜ对实质蕴涵的てき否定ひてい。即そく是ぜ说：对于任にん何なん两个命いのち题P和わQ，当とう且仅当とう非ひP实质蕴涵Q，P实质非ひ蕴涵Q。用よう更さら显明的てき话语来らい解かい释就是ぜ：由ゆかりP到いたQ的てき实质非ひ蕴涵仅在P为真，Q为假时成立せいりつ。

逻辑学がく符号ふごう可か以如此表示ひょうじ实质非ひ蕴涵:

p⊅q

Lpq

p↛q

实质非ひ蕴涵等とう同どう于:

p∧~q

定てい义

真ま值表

p	q	$~\nrightarrow$
T	T	F
T	F	T
F	T	F
F	F	F

语用

“P但ただし不ふ是ぜQ”