Twierdzenie przeciwne

Twierdzenie przeciwne do danego twierdzenia $T$ to zdanie stwierdzające, że zaprzeczenie założenia tego twierdzenia pociąga 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 $T$.

Zobacz też

• twierdzenie przeciwstawne
• twierdzenie odwrotne
• twierdzenie proste

Bibliografia

• Encyklopedia szkolna – Matematyka, WSiP, Warszawa, 1990, ISBN 83-02-02551-8