Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

verify the claim that consequences of balanced identities are again balanced. An identity is p≈q balanced if each variable occurs the same number of times in p as in q.if ∑ is balanced set of identities then using induction on the lenght of a formal deduction we can show that if ∑→p≈q then p≈q is balanced.

share|cite|improve this question
I solved this question by induction but I cannot complete this,please help me.thanks – Masoomeh Mohammadi Jan 24 '13 at 14:13
Write your partial solution, that will help others to guide you. – Ram Jan 24 '13 at 14:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.