შებრუნებული თეორემა
NPLG Wiki Dictionaries გვერდიდან
შებრუნებული თეორემა – მოცემული თეორემისათვის (ან მოცემული თეორემის მიმართ) – თეორემა, რომელშიც მოცემული თეორემის პირობა წარმოადგენს დასკვნას, ხოლო დასკვნა – პირობას.
მოცემულ თეორემას მისი შებრუნებული თეორემის მიმართ ხშირად უწოდებენ პირდაპირს. თუ პირდაპირი თეორემა ჩაიწერება A⇒B ფორმით, მაშინ შებრუნებული შეიძლება ჩაიწეროს B⇒A ფორმით. საზოგადოდ, პირდაპირი თეორემის მართებულობიდან ყოველთვის არ გამომდინარეობს შებრუნებულის მართებულობა.