предикаты

В задаче 17 в пункте а) и б) методами теории ИВ доказать секвенции,
в пункте в) доказать равносильность формул или вывести секвенцию для
равносильных формул

В задаче 37 в пункте а) переименовать связанные переменные (если
это необходимо), затем в полученной формуле указать свободные и связанные
переменные, определить длину полученной формулы, в пункте б) определить,
выполнимы или нет эти формулы, если считать что А(х,у) - предикат
2х=у, а В(х) - предикат: х- четное число (причем оба предикат
имеют интерпретацию всех целых неотрицательных чисел)

В задача 57 во всех трех пунктах а), б) и в) требуется с помощью
заданных предикатов (а именно: предикатов Р(х,у,z), который
кратко описывается равенством ху = z и S(xyz): х+у=z, причем
интерпретация обоих предикатов - это целые неотрицательные числа),
записать
формулой из ИП данные предложения (т.е. написать формулу из ИП, которая
принимает значение "1", если предложение является верным и значение "0",
если оно неверно)

В задаче 77 в пунктах а) и б) требуется ввести нужные предикаты
и записать формулами в ИП данные математические утверждения. Кроме того,
в пункте б) требуется полученную формулу ИП привести к приведенной
нормальной
форме. Записать словесное выражение для обеих формул.