令P：他怕困难，q：他战胜困难，命题“他战胜困难是因为他不怕困难”的符号化形式为（）。