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

Автор темы tingsha 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеПреподаватель мехмата МГУ удостоен международной премии по математике Presburger Award28.07.2020 01:04
ОбъявлениеTinkoff Business Analyst / Product Owner19.02.2021 19:06
03.12.2020 14:41
Логика предикатов, необходимо записать высказывания в виде кванторных формул
Добрый день, помогите решить задачу:
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:


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

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

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



Редактировалось 1 раз(а). Последний 03.12.2020 16:36.
03.12.2020 18:40
хм
В чем проблема то? лень конспекты по матлогике читать?
03.12.2020 19:02
препод
Проблема в преподе, который не дал теорию по логике предикатов, но задание выложил, поэтому я и прошу хотя бы с первым помочь, второе сам попробую)
04.12.2020 00:14
хм
ну так гуглите логику предикатов. в чем проблема то?
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти