2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 диаграмма Хассе
Сообщение08.10.2017, 20:24 
Найти элемент $(a\vee b)\wedge(c\vee d)$
Изображение
Здесь же любой из (b,c,d) подходит?

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:08 
Аватара пользователя
А разве $(a\vee b)$ это не типа объединения? Я просто прикинул графически, нарисовав диаграмму Венна. Может быть, ошибся?

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:17 
Давайте начнём с простого: чему равны $a\vee b$, $c\vee d$?

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:24 
arseniiv в сообщении #1254111 писал(а):
Давайте начнём с простого: чему равны $a\vee b$, $c\vee d$?

Равны max(a,b) и max(c,d)

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:28 
Аватара пользователя
А $c$ и $d$ сравнимы?

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:31 
gris в сообщении #1254115 писал(а):
А $c$ и $d$ сравнимы?

Мне это тоже непонятно

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:34 
Аватара пользователя
А на диаграмме это есть?

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:37 
gris в сообщении #1254119 писал(а):
А на диаграмме это есть?

Вроде нет

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 21:43 
Аватара пользователя
А именно по диаграмме нельзя найти эти выражения?
++ Уточню, что найти надо не $\max$, а $\vee$

 
 
 
 Re: диаграмма Хассе
Сообщение08.10.2017, 22:32 
Sleep3r в сообщении #1254114 писал(а):
Равны max(a,b) и max(c,d)
Только не max, а sup. Но вы можете вычислить эти две штуки, присмотритесь к диаграмме.

-- Пн окт 09, 2017 00:35:04 --

Sleep3r в сообщении #1254121 писал(а):
Вроде нет
Э не, по диаграмме как раз можно установить, сравнимы элементы или нет. Но вообще сравнимость тут не очень важна: если сравнимы, всё проще лишь на маленькую чуточку.

Ну вообще вы же в курсе, что это за диаграмма, какие сведения она представляет?

 
 
 [ Сообщений: 10 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group