Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.