设p：他学习刻苦，q：他优秀，命题“他虽学习刻苦且优秀”的符号化正确的是（　　）ABCD