Định nghĩa của converse trong toán học, hay cụ thể hơn là suy luận logic, là sự chuyển đổi giữa giả thuyết và kết luận của một câu lệnh điều kiện. Một ví dụ là nếu ÃƒÂ ¢ Ã‚â‚¬Ã‚Â¦ trời đang mưa thì sẽ có những đám mây trên bầu trời. Câu chuyện ngược lại là nếu có mây trên bầu trời thì trời đang mưa.