Formulas


(proposition? formula)
true iff the formula formula is a proposition (no parenthesis)

Examples : 
(proposition? '(a and b)) is false
(proposition? 'sun) is true


(formula-length phi)
is the length of the formula phi

Example : (formula-length '(a and b)) is 3