设p：他怕困难；q：他获得成功。命题“除非他不怕困难，否则他不会获得成功”可符号化为