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

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

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

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


Новичок
*

Группа: Пользователи
Сообщений: 13
Пол: Женский
Реальное имя: Ленка

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


Товарищы, помогите пожалуйста решить задачку.

Нужно проверить правильность рассуждения в логике предикатов:
Существует множество, такое, что любое множество является его подмножеством. Всякое множество является подмножеством некоторого множества. Следовательно, найдется множество, являющееся подмножеством самого себя.


--------------------
не все так плохо, как могло бы быть...
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #2


Уникум
*******

Группа: Пользователи
Сообщений: 6 823
Пол: Мужской
Реальное имя: Лопáрь (Андрей)

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


Я немного упорядочу..
Цитата(len4ik @ 12.12.2007 23:53) *

1. Существует множество, такое, что любое множество является его подмножеством.
2. Всякое множество является подмножеством некоторого множества.
3. Следовательно, найдется множество, являющееся подмножеством самого себя.

Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.


--------------------
я - ветер, я северный холодный ветер
я час расставанья, я год возвращенья домой
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #3


Новичок
*

Группа: Пользователи
Сообщений: 13
Пол: Женский
Реальное имя: Ленка

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


Цитата(Lapp @ 13.12.2007 7:59) *

Я немного упорядочу..

Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.


Простите пожалуйста. А можно это свести к предикатной записи.Просто у нас нужно построить предикаты обязательно, иначе проверять не будут(
Пасиб !thanks.gif


--------------------
не все так плохо, как могло бы быть...
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 
сообщение
Сообщение #4


Уникум
*******

Группа: Пользователи
Сообщений: 6 823
Пол: Мужской
Реальное имя: Лопáрь (Андрей)

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


Цитата(len4ik @ 13.12.2007 23:28) *

у нас нужно построить предикаты обязательно, иначе проверять не будут(

А у самой что получается? Напиши хоть что-то..


--------------------
я - ветер, я северный холодный ветер
я час расставанья, я год возвращенья домой
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

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

 





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