小丽既聪明又用功是命题吗