AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

ForAll(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

The statement that every member of over satisfies
body, written forall var in over : body. Decided over a
finite set by evaluation at every member, over an infinite one by a counterexample
or by solving where the solver reads the body, and left as written otherwise.
https://github.com/asc-community/AngouriMath/issues/1409

Example

Console.WriteLine(MathS.ForAll("x", "RR", "x^2 >= 0").Simplify());
Console.WriteLine("forall n in ZZ : n^2 <= n^3".ToEntity().Simplify());
Console.WriteLine("forall x in {1, 2, 3, 4} : exists y in {3, 4, 5, 6, 7, 8} : x + y = 7".ToEntity().Simplify());

Prints

True
False
True

AngouriMath

Table of contents

AngouriMath

ForAll​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

ForAll(AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity)