###

File: | logic5.mml logic5.xhtml
Author: | Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)
Description: | not (forall s in S where f(s) is in T) = (there exists s in S)
Rendering: |

MathML Code:

    <math><apply><eq/><apply><not/><apply><forall/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition><apply><in/><apply><fn><ci>f</ci></fn><ci>x</ci></apply><ci>T</ci></apply></apply></apply><apply><exists/><bvar><ci>s</ci></bvar><condition><apply><in/><ci>s</ci><ci>S</ci></apply></condition></apply></apply></math>