Nếu a=b thì a^2=b^2. Phát biểu mệnh đề đảo cần " và " điều kiện đủ ".

a=b là điều kiện cần để có a^2=b^2
a^2=b^2 là điều kiện đủ để có a=b
(lưu ý: đảo ở đây tức là từ P=>Q ra thành Q=>P)