|
M={0,a,1,b} M1={<1,1>,<a,a>,<b,b>,<0,0>} Если в отношении вообще не выполняется одновременно aMb и bMc то оно просто не транзитивно и при этом не является нетранзитивным (∃ a,b,c∈X: (aRb) ∧ (bRc) ∧ ¬(aRc)) и не является антитранзитивным (∀ a,b,c∈X: (aRb) ∧ (bRc) ⇒ ¬(aRc))? задан 26 Сен '21 14:28 
bronzor |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
26 Сен '21 14:28
показан
224 раза
обновлен
26 Сен '21 15:19
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
@bronzor: здесь дано отношение равенства. Оно всегда транзитивно.
Если условия a(M1)b и b(M1)c не выполняются одновременно (в середине нельзя ставить M, так как это множество, а не отношение), то у импликации посылка окажется ложной, и сама импликация будет истинной. Это значит, что такое отношение всегда транзитивно. Сравните с тем, что Вы написали: там и вывод сделан с точностью до наоборот, и явное логическое противоречие присутствует.