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

Автор темы tingsha 
ОбъявленияПоследний пост
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеЗапущен новый раздел «Задачки и головоломки»29.08.2019 00:42
ОбъявлениеМатематики, программисты, репетиторов (платформа SapioX)28.01.2021 12:47
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
хм
ну так гуглите логику предикатов. в чем проблема то?
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

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