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