Define the following atomic well-formed formulae:
M(x) - "x is a man"
H(x) - "x is a hero"
B(x) - "x is a building"
(Forgive me for the randomness)
Am I right in saying that M(x) → H(x) ↔ B(x) is not a well-formed formula since the lack of brackets gives rise to ambiguities? OR am I wrong and is this a well-formed formula?