Условие:

Петя говорит, что квадрат − это прямоугольник, поэтому диагональ квадрата не является его осью симметрии. Прав ли Петя? Поясни свой ответ.

Диагональ у квадрата является осью симметрии.
Вывод: диагональ прямоугольника является его осью симметрии в том и только в том случае, если этот прямоугольник − квадрат.
Значит, Петя, безусловно, ошибался.