Nella logica, la non-implicazione inversa[1] è un connettivo logico che è la negazione dell'implicazione inversa (o, equivalentemente, la negazione dell'inverso dell'implicazione).
Developed by Nelliwinne