| Alternatives: | (mml file) (full) (simple) (plain) (form) (slideshow) |
| File: | Content/ArithmeticAlgebraLogic/forall/rec-forall6 |
| CVS-ID: | |
| Author: | Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) |
| Description: | not (forall s in S . f(s) is in T) = (there exists s in S) |
Sample Rendering:
| |
Your browser's rendering: