IPB
ЛогинПароль:

> Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

 
 Ответить  Открыть новую тему 
> Дискретная математика, Предикаты :)
сообщение
Сообщение #1


Lonely_Raven
****

Группа: Пользователи
Сообщений: 640
Пол: Мужской

Репутация: -  1  +


привет!!
Вот собственно нужна помощь в объяснении
весь материал основывался на Дискретке Яблонского
а эта книга не для самостоятельного изучения
и ни одного пример решения таких задач в материалах
не дается sad.gif
-----------------------------
-----------------------------
# - квантор всеобщности
$ - квантор существования
---------------------------
Дана формула

#x(P(x)&Q(x)>R(x))

---------------------------
в которой предикаты определены
на множестве натуральных чисел
-----------------------------
найти значение этой формулы, если
--------
Предикаты
P(x)- число делится на 3 без остатка
Q(x)- число делится на 4 без остатка
R(x)- число делится на 2 без остатка
& - конъюнкта
> - импликация


--------------------
Программа делает то что вы ей приказали а не то что бы ВАМ хотелось бы.
МЕРФИ
---------------------
RTFM - Read the fucking manual
---------------------
http://www.livejournal.com/users/lonley_raven/
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #2


Четыре квадратика
****

Группа: Пользователи
Сообщений: 579
Пол: Мужской

Репутация: -  4  +


Эх... то, что я сейчас напишу - или полная чушь, или правильно smile.gif Не-по научному, вроде, но на Алгебре логики мы задачки так тоже решали smile.gif

1 способ: без формул
Код

Для любого x : если x делится и на 3, и на 4, то он делится на два.

Так как х делится на 4, то ежу понятно, что делится и на 2. Добавочное условие, что оно еще и делится на 3, роли не играет.

2 способ: попробую вспомнить формулы. Учебника под рукой нет.
P(x)&Q(x) => R(x)
равносильно:
[P(x) => R(x)] || [Q(x) => R(x)]
Q(x) => R(x) - истина #x


--------------------
Закон добровольного труда Зимерги:
Люди всегда согласны сделать работу, когда необходимость в этом уже отпала
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #3


Lonely_Raven
****

Группа: Пользователи
Сообщений: 640
Пол: Мужской

Репутация: -  1  +


trminator
дык и не понятно чему равно x
хоть убей
:p2:


--------------------
Программа делает то что вы ей приказали а не то что бы ВАМ хотелось бы.
МЕРФИ
---------------------
RTFM - Read the fucking manual
---------------------
http://www.livejournal.com/users/lonley_raven/
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #4


Четыре квадратика
****

Группа: Пользователи
Сообщений: 579
Пол: Мужской

Репутация: -  4  +


Да, забыл написать smile.gif
true


--------------------
Закон добровольного труда Зимерги:
Люди всегда согласны сделать работу, когда необходимость в этом уже отпала
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #5


Lonely_Raven
****

Группа: Пользователи
Сообщений: 640
Пол: Мужской

Репутация: -  1  +


trminator
СПАСИБО помотрим smile.gif


--------------------
Программа делает то что вы ей приказали а не то что бы ВАМ хотелось бы.
МЕРФИ
---------------------
RTFM - Read the fucking manual
---------------------
http://www.livejournal.com/users/lonley_raven/
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 





- Текстовая версия 29.03.2024 14:37
500Gb HDD, 6Gb RAM, 2 Cores, 7 EUR в месяц — такие хостинги правда бывают
Связь с администрацией: bu_gen в домене octagram.name