Alternatives:	(mml file)  (full) (simple) (plain) (form) (slideshow)
File:	Content/ArithmeticAlgebraLogic/logic6
CVS-ID:
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 such that f(s) is not in T)
Sample Rendering:

Your browser's rendering: