Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

E{x,y,z,u,v,w) - угол xyz равен углу uvw »; и пусть даны предложения: Ai : VxVyVu Vv{T{x,y, и, v ) ^ Р{х,у, и, v)) *определение трапеции* А2: VxVyVu Vv{P{x,y,u,v)^ E{x,y,v,u,v,y)) *если 1 VM , то угол xyv равен углу uvy^ A3 : Т(а, b,c,d) * abed - трапеция* Докажите методом резолюции, что из Ai, А2, A3 логически следует E{a,b,d,c,d,b). 39. Запишите ПРОЛОГ-программу для доказательства утверждения пре­ дыдущего упражнения (что из Ai, А2, A3 логически след