And this proposition is, of course, logically equivalent to A) entails where we are using logically equivalent, in such a sense that to say of any proposition that it is logically equivalent to another proposition is to say that both entails and entails.