1. Дана алгебраическая структура . Построить на её сигнатуре предикат "z является наибольшим общим делителем для x и y". Обосновать, почему приведенный предикат удовлетворяет условию.
2*. Дана алгебраическая структура . Построить на её сигнатуре предикат " х равно 3 ". Обосновать, почему приведенный предикат удовлетворяет условию.