Phép đảo (logic)
From Wikipedia, the free encyclopedia
Trong logic và toán học, phép đảo (tiếng Anh: Converse) của một mệnh đề phạm trù hay kéo theo là sự đảo ngược hai mệnh đề cấu thành nó. Với mệnh đề kéo theo P → Q, phép đảo của nó là Q → P. Với mệnh đề phạm trù Tất cả S là P, đảo ngược lại là Tất cả P là S. Dù như thế nào đi nữa, chân trị của phép đảo là độc lập với phát biểu gốc.[1]