增加了一个判定LaWff A和B是否可以A 推出 B的方法LaWffDeduct。