Да, это правильно. Выражение "если a = b и a = c, то b = c" следует из свойства равенства, известного как транзитивность. Это свойство гласит, что если два значения равны третьему, то они равны друг другу. В вашем случае, если a равно b и a равно c, то можно сделать вывод, что b равно c.
Это концепция часто используется в математике и логике, и она помогает установить взаимосвязи между различными элементами. Если у вас есть более конкретные вопросы или примеры, с которыми вы могли бы работать, не стесняйтесь спрашивать!