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

In each family the rank \(k\) ranges from \(0\) to \(n\) and counts the number of positive appearances of #CoordinatePropositions \(a_1, \ldots, a_n\) in the resulting expression. For example, when \(n=3\) the #LinearProposition of rank \(0\) is \(0,\) the #PositiveProposition of rank \(0\) is \(1,\) and the #SingularProposition of rank \(0\) is \(\texttt{(}a_1\texttt{)} \texttt{(}a_2\texttt{)} \texttt{(}a_3\texttt{)}.\)

#Logic