37 / 47

设P:我将去春游,Q:明天天气好。命题“我将去春游,仅当明天天气好时”符号化为()。