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