Высказывания необходимое н достаточное условие совместности

Теорема 13. Необходимое и достаточное условие совместности двух высказываний Р и Q состоит в том, что Р, А, Q = О для всех Л е Щ. [c.94]

Высказывания, попарно не пересекающиеся (ортогональные) 70, 92 ---, необходимое и достаточное условие существования 93 —, необходимое и достаточное условие совместности 94 [c.416]

Доказательство. Достаточность следует из предыдущей леммы. Действительно, предположим, что такое разложение существует. Поскольку P°Q = R, множество Q) совпадает с множеством (/ , Р, Q ). Последнее же, как мы только что установили, ассоциативно. Таким образом, Р и Q — одновременно наблюдаемые и, согласно 8-й аксиоме о структуре, совместны. Необходимость следует из построения. В самом деле, предположим, что высказывания Р и Q совместны. Мы знаем (теорема 8), что множество Р, Q) ассоциативно. Следовательно, мы можем построить элементы R = P°Q, 1 = Р — Я и Ql = = Q — R, которые все принадлежат множеству (Р, Q). Из ассоциативности же последнего следует, что построенные высказывания действительно являются непересекающимися и, таким образом, удовлетворяют условию теоремы. [c.93]

Неассоцнативность симметризованного произведения 52 Невырожденное представление 222 Необходимое и достаточное условие полной Т)-абелевости 236 ----совместности двух высказываний 94 [c.417]

По выступлению В. И. Субботина. Нельзя не согласиться с высказыванием Субботина о недостаточном внимании к исследованиям механизма процесса теплообмена и кризиса. Такие исследования требуют тонких методов, соответствующей аппаратуры и достаточного времени. Эти условия не всегда имеются в отраслевых институтах, и соответствующие опыты, видимо, надо ставить в проблемных институтах (типа академических) и вузах. Тезис Субботина о том, что главным является не изучение теплообмена, а кризисов кипения, спорный. В ряде аппаратов и агрегатов мы работаем далеко от критических нагрузок. Здесь лимитирует теплообмен. В этих случаях следует изучать теплообмен не столько с целью выяснения величины а, а для выяснения способов интенсификации теплообмена. Следует отметить, что такие работы ведутся недостаточно, необходимо их расширить и проводить совместно. со специалистами смежных специальностей и конструкторами. [c.240]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...