#positivepropositions — Public Fediverse posts

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

Linearity, Positivity, Singularity are relative to the basis \(\mathcal{A}.\) #SingularPropositions on one basis do not remain so if new features are added to the basis. #BasisChanges even within the same pairwise options \(\{a_i\}\cup\{\texttt{(}a_i\texttt{)}\}\) change the sets of #LinearPropositions and #PositivePropositions. Both are fixed by the choice of #BasicPropositions which amounts to taking a cell as origin.

#Logic

#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

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

Among the \(2^{2^n}\) propositions in \([a_1, \ldots, a_n]\) are several families numbering \(2^n\) propositions each which take on special forms with respect to the basis \(\{a_1, \ldots, a_n \}.\) Three families are especially prominent in the present context, the #LinearPropositions, the #PositivePropositions, and the #SingularPropositions.

#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions