Нужна помощь с решением задачи по логике предикатов.

[Yi shi jiu]

"Запишите следующее выражение естественного языка на языке логики предикатов. Укажите значения используемых логических констант.

Все члены правления, кроме Громотёсова, выписывают "Морской вестник" в твердом переплете".

У меня пока получилось следующее:

Быть членом правления - P1
Быть Громотёсовым - P2
Выписывать - Q1
Вестник - а
В твердом переплете - f

∀х(P1(x) → Q1(x,f(a)) - все члены правления выписывают вестник в твердом переплете.
∀х(P2(x) → ¬(Q1(x,f(a))) - Громотёсов не выписывает вестник в твердом переплете.

Как объединить это в одну формулу, и правильно ли составлены эти?

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.