prev ( testsuite > Content > ArithmeticAlgebraLogic > logic6  ) next (show test run result)

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)

passed (p) failed (f) not-tested (n) broken-test (b) some parts pass (s)

Sample Rendering:

$\neg \forall s, s\in S\colon f(x)\in T=\exists s, s\in S\colon f(s)\notin T$

Source Code:

```
<math xmlns="http://www.w3.org/1998/Math/MathML">
<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>
<notin/>
<apply>
<fn>
<ci>f</ci>
</fn>
<ci>s</ci>
</apply>
<ci>T</ci>
</apply>
</apply>
</apply>
[/itex]
```