home.social

#coordinatepropositions — Public Fediverse posts

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

  1. Jon Awbrey @[email protected] ·

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

    The #BasicPropositions \(a_i : \mathbb{B}^n \to \mathbb{B}\) are both linear and positive. So those two families of propositions, the linear & the positive, may be viewed as two different ways of generalizing the class of basic propositions.

    Related Subjects —

    #CoordinatePropositions #SimplePropositions
    #LinearPropositions #SingularPropositions

    #Logic #LogicalGraphs #DifferentialLogic
    #PropositionalCalculus #BooleanFunctions

    #linearpropositions #booleanfunctions #propositionalcalculus #differentiallogic #logicalgraphs #logic