File:	Content/ArithmeticAlgebraLogic/not/rec-not3.html
Author:	Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Description:	not (forall s in S)
Sample Rendering:

Your browser's rendering:

s s S

Source Code:

    <math>
      <apply>
        <not/>
        <apply>
          <forall/>
          <bvar>
            <ci>s</ci>
          </bvar>
          <condition>
            <apply>
              <in/>
              <ci>s</ci>
              <ci>S</ci>
            </apply>
          </condition>
        </apply>
      </apply>
    </math>
  

Test Suite Home