小丽既聪明又用功是命题吗,如果不是怎么出题还说,把这个命题符号化~