设A，B都是命题公式，则A→B为可满足式是ATB的

设A，B都是命题公式，则A→B为可满足式是ATB的
A.充分而非必要条件
B.必要而非充分条件
C.充分必要条件
D.既非充分又非必要条件
正确答案：必要而非充分条件