Change of Index Variable of Summation

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \sum_{\map R i} a_i = \sum_{\map R j} a_j$

where $\ds \sum_{\map R i} a_i$ denotes the summation over $a_i$ for all $i$ that satisfy the propositional function $\map R i$.


Proof


Sources