implies2
Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
A -> B in <reln>
Content/ArithmeticAlgebraLogic/implies
../../../Content/ArithmeticAlgebraLogic/not/rec-not3
../../../Content/ArithmeticAlgebraLogic/implies/rec-implies1
<math xmlns="http://www.w3.org/1998/Math/MathML">
<reln>
<implies/>
<ci> A </ci>
<ci> B </ci>
</reln>
</math>