Равносильность или следствие?, Как один значок портит все дело. Опции

[lord_wil]

Формальность.

Допустим уравнения f(x) = g(x) => h(x) = j(x) и h(x) = j(x) <=> p(x) = q(x)
Как тогда записать цепочку?
Так: f(x) = g(x) => h(x) = j(x) <=> p(x) = q(x) (1)
Или так: f(x) = g(x) => h(x) = j(x) => p(x) = q(x) (2)
По логике вещей - (1)
А в литературе пишут - (2)


Как быть? Помогите...