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.
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.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top