Implicazione inversa
Da Wikipedia, l'enciclopedia encyclopedia
Nella logica e nella matematica, la inversione di un'affermazione categoriale o implicazionale è il risultato dell'inversione delle sue due affermazioni costituenti. Per l'implicazione P → Q, il contrario è Q → P. Per la proposizione categorica "Ogni S è P", il contrario è "Ogni P è S". In ogni caso, la verità del contrario è generalmente indipendente da quella dell'affermazione originale.[1]