{{indexmenu_n>15900}}
====== logic5 ======

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

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

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