reaper_pball69
New member
- Joined
- Aug 9, 2005
- Messages
- 13
I need to prove:
The last symbol of a formula is never ^(and).
The string ^(and)(or) never occurs in a formula.
By either analyzing formula-calculations or by induction on the complexity of formulas.
Help please!!!
The last symbol of a formula is never ^(and).
The string ^(and)(or) never occurs in a formula.
By either analyzing formula-calculations or by induction on the complexity of formulas.
Help please!!!