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.


 * That's how it appears in Knuth. See citation at the foot of the page. --prime mover (talk) 21:46, 4 January 2022 (UTC)