命题A:若a