From ProofWiki
Jump to navigation Jump to search

This category contains results about Summations.
Definitions specific to this category can be found in Definitions/Summations.

Let $\map R j$ be a propositional function of $j$.

Then we can write the summation as:

$\ds \sum_{\map R j} a_j = \text{ The sum of all $a_j$ such that $\map R j$ holds}$.

If more than one propositional function is written under the summation sign, they must all hold.

Pages in category "Summations"

The following 93 pages are in this category, out of 93 total.