математическая логика

[dkflbvbhknb]

Помогите пожалуйста решить или подскажите где можно найти решение следующей проблемы: в книге "Математическая логика" (А.Н. Колмогоров А.Г. Драгалин) 2005 г. на стр. 64 имеется индуктивное определение конгруэнтности формул. В книге Математическая логика (Ю.Л. Ершов Е.А. Палютин) 2004 г. на стр. 131 имеется "нормальное" определение этого понятия. Нужно доказать эквивалентность этих определений. У меня ничего с этим не получается. Буду Вам очень благодарен. Можно пообщаться по этому поводу в агенте или icq.