Non-implicazione inversa

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

  1. ^ Lehtonen, Eero, e Poikonen, J.H.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne