{{indexmenu_n>15910}}
====== logic6 ======

<wrap mml-desc>not (forall s in S where f(s) is in T) = (there exists s in S such that f(s) is not in T)</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)</wrap>