设p:今天是星期一,q:明天是星期二,命题“只有今天是星期一,明天才是星期二”的符号化形式为