命题的四种形式A是B的充分非必要命题,A的充分非必要命题是B,写出A的充分非必要命题B.A与B的推出关系