Rekursiv funksjon

[InformatikkJente]

Jeg har en oppgave som lyder som følger:

Definer en rekursiv funksjon s fra mengden av utsagnslogiske formler til mengden av naturlige tall som er slik at hvis F er en utsagnslogisk formel, er s(F) lik antall symboler i F. Hint: Du må være nøye med å ta med alle parenteser. Her er noen eksempler: s(P)=1, s(¬P)=2,s((P→Q))=5,og s((P→Q)Λ¬R))=10

Kan dette være et mulig svar?:
S(((P⇒Q)∧¬R))=s((P⇒Q)∧ ¬R+2=s((P⇒Q))+s(¬R)+1+2=s(P)+s(Q)+3+s(R)+1+1+2=1+1+3+1+1+1+2=10

Det hadde vært veldig snilt med en bekreftelse eller en forklaring dersom dette ikke er riktig i det hele tatt.

Tusen tusen takk!