Логика предикатов, необходимо записать высказывания в виде кванторных формул

Добрый день, помогите решить задачу:
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:


a) Иногда встречаются люди с глазами разного цвета, значит, есть кареглазые люди или все люди голубоглазы или сероглазы.

b) Не все кошки серы, поэтому все кошки не серые.

Заранее благодарю)



Редактировалось 1 раз(а). Последний 03.12.2020 16:36.

Проблема в преподе, который не дал теорию по логике предикатов, но задание выложил, поэтому я и прошу хотя бы с первым помочь, второе сам попробую)