AngouriMath
Conjunction(AngouriMath.Entity.Set,AngouriMath.Entity.Set,AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Where both sides of a conjunction were settled, its solution set is the
intersection of theirs.
intersection of theirs.
Remarks
Where one of them is a condition nothing settled, it is not: intersecting a
finite set with one keeps an element whose membership could not be decided, so
x^6 + x*y + 1 = 0 and x - 1 = 0 comes back as { 1 } — and 1 is a
root of the first only wheny is -2. The conjunction as written asserts
exactly what is known about it and nothing more.
#1036
finite set with one keeps an element whose membership could not be decided, so
root of the first only when
exactly what is known about it and nothing more.
#1036
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online