Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ 1 сообщение ] |
|
Автор | Сообщение | |
---|---|---|
mad_math |
|
|
Застряла на задаче: Пусть [math]N ={0,1,2,...}[/math] - множество натуральных чисел с предикатами, соответствующими сложению и умножению: [math]S(x,y,z) \leftrightarrow x + y=z[/math]; [math]P(x,y,z) \leftrightarrow x\cdot y=z[/math] Написать формулу логики предикатов, истинную на [math]N[/math] тогда и только тогда, когда [math]y=x^2+1[/math]. Понимаю, что тут нужно работать с множествами истинности логических операций над предикатами, но что-то не складывается у меня общая картина. Подскажите, пожалуйста, с чего начать, куда двигаться. Спасибо за внимание. С уважением, Светлана. |
||
Вернуться к началу | ||
[ 1 сообщение ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Суждение записать в виде формулы логики предикатов | 10 |
1355 |
24 дек 2015, 13:32 |
|
Отличие пропозициональной логики от логики предикатов | 3 |
441 |
22 янв 2016, 10:03 |
|
Кванторы. Формула логики предикатов | 1 |
189 |
18 май 2020, 09:56 |
|
Грамматика языка логики предикатов | 2 |
398 |
16 июл 2015, 12:21 |
|
Записать на языке логики предикатов | 0 |
408 |
22 дек 2016, 16:32 |
|
Помощь с доказательством логики предикатов | 2 |
165 |
31 май 2020, 19:17 |
|
Ошибка в лекции. Тавтологии логики предикатов | 2 |
361 |
17 ноя 2017, 07:22 |
|
Привести формулу логики предикатов к предваренной форме | 1 |
203 |
14 июн 2018, 15:45 |
|
Переведите с естественного языка на язык логики предикатов | 5 |
1298 |
20 фев 2016, 04:16 |
|
Переведите с естественного языка на язык логики предикатов | 1 |
122 |
12 ноя 2022, 12:04 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |