La non-implicazione o abgiunzione è la negazione dell'implicazione logica, ovvero date due proposizioni qualsiasi P e Q, la non-implicazione da P {\displaystyle P} a Q {\displaystyle Q} è vera se e solo se la negazione dell'implicazione da P {\displaystyle P} a Q {\displaystyle Q} è vera. Wikipedia