Tag Info

New answers tagged

1

To answer your first question: your syllogism should probably be formulated as Resolve[ Implies[ ForAll[triangle, Implies[ Element[triangle, equilateralTriangles], Element[triangle, isoscelesTriangles]]] && Exists[triangle, NotElement[triangle, equilateralTriangles]], Exists[triangle, NotElement[triangle, ...


1

What meaning do you put in words "solving problems" and "learning math"? For instance, MMA can give you answer for questions like "what is it equal to" or "is this identity is true", but it won't tell you how did it figured it out. That means that important aspect of learning math such as proving theorems is completely neglected. Here is the article by WRI ...



Top 50 recent answers are included