предикаты
Cрок выполнения : 3 ноября 2021
Вид работы : Контрольная
Дисциплины:
Математические: Высшая математика.
|
|
Добавлен 01.11.2021 07:28:43
Уникальность:
Доработка:
Подробно: В задаче 17 в пункте а) и б) методами теории ИВ доказать секвенции, в пункте в) доказать равносильность формул или вывести секвенцию для равносильных формул В задаче 37 в пункте а) переименовать связанные переменные (если это необходимо), затем в полученной формуле указать свободные и связанные переменные, определить длину полученной формулы, в пункте б) определить, выполнимы или нет эти формулы, если считать что А(х,у) - предикат 2х=у, а В(х) - предикат: х- четное число (причем оба предикат имеют интерпретацию всех целых неотрицательных чисел) В задача 57 во всех трех пунктах а), б) и в) требуется с помощью заданных предикатов (а именно: предикатов Р(х,у,z), который кратко описывается равенством ху = z и S(xyz): х+у=z, причем интерпретация обоих предикатов - это целые неотрицательные числа), записать формулой из ИП данные предложения (т.е. написать формулу из ИП, которая принимает значение "1", если предложение является верным и значение "0", если оно неверно) В задаче 77 в пунктах а) и б) требуется ввести нужные предикаты и записать формулами в ИП данные математические утверждения. Кроме того, в пункте б) требуется полученную формулу ИП привести к приведенной нормальной форме. Записать словесное выражение для обеих формул.
Кратко: задания 17,37,57,77