Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

RFpro.ru: Консультации по дискретной математике


Хостинг портала RFpro.ru:
Московский хостер
Профессиональный ХОСТИНГ на базе Linux x64 и Windows x64

РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты по данной тематике

Асмик
Статус: Академик
Рейтинг: 9342
∙ повысить рейтинг »
Коцюрбенко Алексей aka Жерар
Статус: Академик
Рейтинг: 3796
∙ повысить рейтинг »
CradleA
Статус: Бакалавр
Рейтинг: 2612
∙ повысить рейтинг »

/ НАУКА И ОБРАЗОВАНИЕ / Точные и естественные науки / Математика дискретная

Номер выпуска:271
Дата выхода:02.02.2012, 01:00
Администратор рассылки:Асмик (Академик)
Подписчиков / экспертов:50 / 60
Вопросов / ответов:1 / 1

Консультация # 185319: Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос: Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

Консультация # 185319:

Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:
Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное число предикатов наименьшей местности; указать область определения использованных предикатов; привести формулу к предваренной нормальной форме:

Для любых двух различных действительных чисел найдется число, расположенное между ними.

Дата отправки: 30.01.2012, 00:22
Вопрос задал: Посетитель - 375268 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »


Консультирует Асмик (Академик):

Здравствуйте, Посетитель - 375268!

P(x,y) - истинно, если x<y
Определен на R.

∀x∀y ∃z (x<>y→(P(x,z) ∧P(z,y) ∨ P(y,z) ∧P(z,x)))
В том случае, когда x=y, получим суждение Л->И, которое всегда истинно.

Консультировал: Асмик (Академик)
Дата отправки: 30.01.2012, 00:34
Рейтинг ответа:

НЕ одобряю 0 одобряю!


Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка  |  восстановить логин/пароль

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!



В избранное