AngouriMath
CutByHypothesis(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity.Variable,AngouriMath.Entity.Set.SpecialSet,AngouriMath.Entity,System.Boolean)
Method (no overloads)
Summary
For a body that asks about the members satisfying conditions on the name alone --
Q implies P of every member, Q and P of some -- the set cut down by the
conjuncts ofQ the solver states as a set, where the cut comes out listed or as
the whole numbers from a least one; with those conjuncts, and the claim that is left:
(0 < k and k < 7 and 2 divides k) implies P is 2 divides k implies P over
{1, ..., 6} .
conjuncts of
the whole numbers from a least one; with those conjuncts, and the claim that is left:
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online