Entails
Wayne Beech
A |= B if for every A that is true, B is true.
A |= B if for every A that is true, B is true.
© Symbols.com