Домашнее задание по математике) Мы знаем, что от ... Следует
1. Из abc следует a не равно b, c. B не равно с. Из abc следует CBa
2Из axy, xyb следует axb, ayb
3Из axb, any следует x = y или bxy или byx
4Из axb, aby следует xby
5Сокращение abcd = ABC, abd, acd, BCD
6Т.е. из axb, aby следует axby
7А из axy, xyb следует axyb

ЗАДАЧА: Док-ть, что из axb, aby следует x=y, или abxy или abyx

Предыдущий
вопрос Следующий
вопрос

Доказательство:

Из условия 3 известно, что из axb, aby следует x = y или bxy или byx.

Так как x = y и x ≠ y являются противоречащими условиями, то мы можем исключить x = y.

Таким образом, из axb, aby следует bxy или byx.

Но из условия 6 мы знаем, что из axb, aby следует axby.

Следовательно, из axb, aby следует bxy или byx – эту часть условия мы уже учли, а также axby.

Таким образом, мы доказали, что из axb, aby следует x=y, или abxy или abyx.