#singularprpositions — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #singularprpositions, aggregated by home.social.
-
#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.
Related Subjects —
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions