令p:下午下雨,q:我去公园,r:家里来客人,则命题“若下午不下雨,我就去公园,除非家里来客人”的符号化形式为