Страшное задание (потому что все со страшными глазами просят разобрать). На самом деле нет. Простое задание, чем-то напоминает задания со множествами, только множество тут одно - все числа:) Задание 1: Обозначим через ДЕЛ(n, m) утверждение«натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула ¬ДЕЛ[x, А] -> [ДЕЛ[x,6] -> ¬ДЕЛ[x,4]] тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х. Задание 2 бонусом, оно похожее, писать тут не буду. Оно взято с сайта Константина Полякова, надеюсь он не заругает:)
