Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: Формулы логики предикатов
СообщениеДобавлено: 18 май 2017, 06:09 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Доброго времени суток, уважаемые соучастники.
Застряла на задаче: Пусть [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].

Понимаю, что тут нужно работать с множествами истинности логических операций над предикатами, но что-то не складывается у меня общая картина. Подскажите, пожалуйста, с чего начать, куда двигаться.
Спасибо за внимание.
С уважением, Светлана.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.      Страница 1 из 1 [ 1 сообщение ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Суждение записать в виде формулы логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Maxim30

10

1355

24 дек 2015, 13:32

Отличие пропозициональной логики от логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Knyazhskiy

3

441

22 янв 2016, 10:03

Кванторы. Формула логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Pakmen3214

1

189

18 май 2020, 09:56

Грамматика языка логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

petrowert

2

398

16 июл 2015, 12:21

Записать на языке логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Escritor731

0

408

22 дек 2016, 16:32

Помощь с доказательством логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Selomar

2

165

31 май 2020, 19:17

Ошибка в лекции. Тавтологии логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

algoritmiz22

2

361

17 ноя 2017, 07:22

Привести формулу логики предикатов к предваренной форме

в форуме Дискретная математика, Теория множеств и Логика

LamyFromSafari

1

203

14 июн 2018, 15:45

Переведите с естественного языка на язык логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

art33

5

1298

20 фев 2016, 04:16

Переведите с естественного языка на язык логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

kotel62

1

122

12 ноя 2022, 12:04


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 22


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved