вопрос по теории

[Rio]

здравствуйте.

Тут в доказательстве есть такая строчка: "Понятно, что если $A$ (это неатомарная формула) представима в виде $\neg A_{0}$, то её нельзя представить в виде $(A_{1}rA_{2}) $ (где$A_{1},A_{2}$-формулы, $r: \vee,\wedge,\to$)".

лектору понятно, а мне не совсем
ведь поскольку $A_{0}$ вполне может быть формулой, то почему бы ей не состоять из подформул $A'_{1},A'_{2}$с операцией $r'$. т.е. $A=\neg A_{0}=\neg (A'_{1}r'A'_{2})=(\neg A'_{1})r(\neg A'_{2})$ где $\neg A'_{1},\neg A'_{2}$просто обозначим соответственно как $A_{1},A_{2}$ и получим это самое другое представление. почему такое невозможно?
(речь про генцена исчисление высказываний)

[AGu]

Тут наверняка имеется в виду равенство формул (как строк), а не их логическая эквивалентность.