در مورد یک گزارۀ شرطی، گزارهای که از جابهجایی مقدم و تالی آن به دست میآید متـ . عکس قضیه converse of theorem
