rozmawiać - puzzle online

W logice odwrotność stwierdzenia kategorycznego lub implikacyjnego jest wynikiem odwrócenia jego dwóch części. Dla implikacji P → Q odwrotnością jest Q → P. W przypadku twierdzenia kategorycznego Wszystkie S są P, odwrotnością jest Wszystkie P są S. W żadnym przypadku przeciwieństwo nie musi wynikać z pierwotnego zdania.