#DifferentialPropositionalCalculus • 4.5
• https://inquiryintoinquiry.com/2020/02/25/differential-propositional-calculus-4/

Each of the families — #LinearPropositions, #PositivePropositions, #SingularPrpositions — is naturally parameterized by the coordinate \(n\)-tuples in \(\mathbb{B}^n\) and falls into \(n+1\) ranks, with a #BinomialCoefficient \(\tbinom{n}{k}\) giving the number of propositions having rank or weight \(k\) in their class.