Какое свойство графов задаёт формула
((квантор всеобщности)x)((A(x) И ((квантор существования)y)((квантор существования)z) (Не y = z И (E(x, y) И E(x, z)) Или (E(y, x) И E(z, x))))) -> E(x, x)) ?
Постройте для этой формулы модель и контрмодель, содержащие не менее пяти верши