a) Nếu một tứ giác là hình vuông thì nó có bốn cạnh bằng nhau.

Phát biểu định lí này:
- Điều kiện cần: Tứ giác là hình vuông.
- Điều kiện đủ: Tứ giác có bốn cạnh bằng nhau.

Có định lí đảo của định lí trên:
- Nếu một tứ giác có bốn cạnh bằng nhau thì nó là hình vuông.

Lí do: Định lí đảo là một định lí mới mà điều kiện cần và điều kiện đủ của định lí ban đầu được đảo lại. Vì vậy, định lí đảo luôn tồn tại.

b) Nếu một tứ giác là hình thoi thì nó có hai đường chéo vuông góc.

Phát biểu định lí này:
- Điều kiện cần: Tứ giác là hình thoi.
- Điều kiện đủ: Tứ giác có hai đường chéo vuông góc.

Có định lí đảo của định lí trên:
- Nếu một tứ giác có hai đường chéo vuông góc thì nó là hình thoi.

Lí do: Tương tự như trên, định lí đảo luôn tồn tại vì điều kiện cần và điều kiện đủ của định lí ban đầu được đảo lại.