http://ipicture.ru/Gallery/Viewfull/6841033.html
| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [мат. логика] помогите пожалуйста с предикатами.. |
| Автор: Viviana 14.9.2008, 19:56 |
| Здравствуйте! такая проблема.. T(x), F(x) - муж жен R(x,y)- x это мать y помогите, пожалуйста, написать эти предикаты: 1) x это дед y-ка; 2) y это бабушка x; 3) y это брат x; 4) может быть сам себе отец, мать. Пожалуйста, напишите как правильно их написать :(( |
| Автор: Данкинг 14.9.2008, 20:38 |
| (решение моего друга, математика, я в этом ничего не понимаю) http://ipicture.ru/Gallery/Viewfull/6841033.html |
| Автор: Viviana 14.9.2008, 20:55 |
Данкинг, огромное спасибо!!!    |
| Автор: strekoza 16.9.2008, 07:43 |
| Красивое решение. И решающий выбрал: T(x) обозначает, что x мужского пола; F(x) – x женского пола. Как далеко пошли! А я думаю, является ли законом логики умозаключение: «Если жизнь тебя обманет, не печалься, не сердись» (А. С. Пушкин). Жизнь тебя обманула. Значит, ты не печалься, не сердись?» И парадокс «Рогатый». (То, что ты не терял, ты имеешь. Ты не терял рогов.) -> (Ты имеешь рога.) И что здесь не так?! |