Домашнее задание по математике Мы знаем, что от ... Следует 1. Из abc следует a не равно b, c. B не равно с. Из abc следует CBa Из axy, xyb следует axb, aybИз axb, any следует x = y или bxy или byxИз axb, aby следует xbyСокращение abcd = ABC, abd, acd, BCDТ.е. из axb, aby следует axbyА из axy, xyb следует axyb ЗАДАЧА: Док-ть, что из axb, aby следует x=y, или abxy или abyx
Доказательство:
Из условия имеем, что из axb, aby следует xby (согласно пункту 3).
Также известно, что из xby следует x=y или bxy или byx (согласно пункту 2).
Из этого следует, что x=y или bxy или byx.
Если x=y, то утверждение доказано.
Если bxy, то можно переписать это как abyx (согласно пункту 1).
Таким образом, мы доказали, что из axb, aby следует x=y, или abxy или abyx.