định lí phản nhau
định lí mà giả thiết và kết luận là cái phủ định của giả thiết và kết luận của một định lí khác (cả hai làm thành một cặp định lí phản nhau).