设p:今天晴天，q:我们去放风筝，命题“今天要是晴天，我们就去放风筝。”的符号化为