Twierdzenie przeciwne
Z Wikipedii
Twierdzenie przeciwne do danego twierdzenia to zdanie stwierdzające, że zaprzeczenie założenia tego twierdzenia pociaga za sobą zaprzeczenie jego tezy. Twierdzeniem przeciwnym do twierdzenia jeśli A, to B jest zdanie jeśli nieprawda, że A, to nieprawda, że B. Twierdzenie przeciwne jest równoważne twierdzeniu odwrotnemu i, podobnie jak to ostatnie, nie musi być prawdziwe wraz z twierdzeniem wyjściowym.
Zobacz też: przegląd zagadnień z zakresu matematyki