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

Автор темы tingsha 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеРазделу «Задачки и головоломки» исполнилось два года21.08.2021 01:51
ОбъявлениеКниги по математике и экономике в добрые руки!06.03.2022 17:45
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
хм
ну так гуглите логику предикатов. в чем проблема то?
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

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