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 Сен 14:28

1

@bronzor: здесь дано отношение равенства. Оно всегда транзитивно.

Если условия a(M1)b и b(M1)c не выполняются одновременно (в середине нельзя ставить M, так как это множество, а не отношение), то у импликации посылка окажется ложной, и сама импликация будет истинной. Это значит, что такое отношение всегда транзитивно. Сравните с тем, что Вы написали: там и вывод сделан с точностью до наоборот, и явное логическое противоречие присутствует.

(26 Сен 15:19) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×690
×89

задан
26 Сен 14:28

показан
51 раз

обновлен
26 Сен 15:19

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru