设P:a能被2整除,Q:a能被4整除，命题“只有a能被2整除,a才能被4整除”符号化为