home.social
Sign in Create account

#singularproposition — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #singularproposition, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 4.9
    • inquiryintoinquiry.com/2020/02

    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

    #logic #singularproposition #positiveproposition #linearproposition #coordinatepropositions #differentialpropositionalcalculus
  2. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 4.9
    • inquiryintoinquiry.com/2020/02

    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

    #differentialpropositionalcalculus #coordinatepropositions #linearproposition #positiveproposition #singularproposition #logic
  3. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 4.9
    • inquiryintoinquiry.com/2020/02

    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

    #logic #singularproposition #positiveproposition #linearproposition #coordinatepropositions #differentialpropositionalcalculus