Definition talk:Summation/Propositional Function

Could you explain why you choosed this framework and what decisions have been made to define the summation as it ? Thank you. I am a post MSc student and I have troubles to find a proper definition, to find a consensus.