The current about box at the top of the math-software tag page currently directs users with questions regarding WolframAlpha to consider posting on Mathematica StackExchange instead. Here is the full statement:
For help with mathematical questions arising from software such as Maple, MATLAB,...
Unrelated, but as we are discussing this wiki: the distinction to computer-algebra-systems seems pretty unclear to me. 'A computer algebra system (CAS) is a program which is able to carry out various symbolic manipulations with mathematical expressions. Typically they include simplification, differentiation, integration, solving equations etc. Some well-known computer-algebra systems: Mathematica, Maple, Wolfram Alpha, GAP.' — quid6 mins ago
It was brought up in this thread as a side remark that we have both math-software and computer-algebra-systems.
It would appear to me that the latter can be merged into the former without much trouble.
Tag wiki for predicate-logic says:
Questions concerning predicate calculus, i.e. the logic of quantifiers
and for quantifiers it says:
The quantifiers ∀ ("for all") and ∃ ("there exists") are what distinguishes predicate calculus from propositional logic.
These appear to be the same....
It was brought up in this thread as a side remark that we have both math-software and computer-algebra-systems.
It would appear to me that the latter can be merged into the former without much trouble.
Tag wiki for predicate-logic says:
Questions concerning predicate calculus, i.e. the logic of quantifiers
and for quantifiers it says:
The quantifiers ∀ ("for all") and ∃ ("there exists") are what distinguishes predicate calculus from propositional logic.
These appear to be the same....
