AngouriMath
Negated(AngouriMath.Entity)
Method (no overloads)
Summary
The negation of the body with not pushed down to the comparisons, which is what
the statement solver has arms for:not (a implies b) is a and not b , and
a negated order comparison is the opposite one. The solver does the same for the
connectives it reads and not for an implication, so it is done here first.
the statement solver has arms for:
a negated order comparison is the opposite one. The solver does the same for the
connectives it reads and not for an implication, so it is done here first.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online