3. При метода резолюций определить, является ли формула S логическим следствием множества формул R. R = {∀(()⇒∀y(S(y)⇒¬(R(x,y)), ∃x(P(x)&(∀y(Q(x)⇒ R(x,y))};
S = {∀(Q() ⇒¬(S(x))}

Поросёнок стоит 75 рублей.

Пошаговое объяснение:

Из условия задачи легко понять, что 2 поросёнка стоят столько же, сколько и одна лошадь. Наследство можно было поделить, например, так: старшему и среднему брату достаются по 2 лошади, а младшему - лошадь и 2 поросёнка, что тоже было бы справедливо. Возможно, так оно и было. Но потом младший брат решил продать старшему одну лошадь за 150 рублей, а среднему - за те же 150 рублей продал двух поросят.

Я не знаю, какое решение нужно автору вопроса, и поэтому в приложении даю ещё одно решение через систему уравнений.

Числа от 1 до 498 разбиваются на три группы: однозначные, двузначные и трехзначные.

Однозначных чисел 9 (1, 2, ..., 9), двузначных 90 (на первую цифру претендуют числа 1, 2, ..., 9 (всего 9), а на вторую — 0, 1, 2, ..., 9 (всего 10), по правилу умножения всего 9*10=90 вариантов). Трехзначных чисел, не превосходящих 498, в точности 498-99 = 399 (действительно, ряд чисел 100, 101, 102, ..., 498 можно сдвинуть на 99: 1, 2, ..., 498-99, откуда искомых чисел, очевидно, 498-99=399).

Считаем количество цифр: 9*1+90*2+399*3=1386 (однозначные числа дают одну цифру, двузначные — две, трехзначные — три).

ответ: всего 1386 цифр.