Ấn T để tra

định lí phản nhau 

danh từ
 

đị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).