���ˈ�ٲ���������Գ�

the act of entailing or the condition of being entailed

philosophy logic

1. a relationship between propositions such that one must be true if the others are

2. Usual symbol: ∋.��a proposition whose truth depends on such a relationship See fish-hook