Jon Awbrey · @Inquiry
64 followers · 218 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • 7
• https://inquiryintoinquiry.com/2020/03/05/differential-propositional-calculus-7/
In our #Model of #Propositions as #Mappings of a #UniverseOfDiscourse to a set of two values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the minimal distinct regions of the universe, represented by single cells of the corresponding #VennDiagram.
Related Subjects —
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#BooleanFunctions #PropositionalCalculus #DifferentialLogic #LogicalGraphs #logic #venndiagram #singularpropositions #indicatorfunctions #UniverseOfDiscourse #mappings #propositions #model #DifferentialPropositionalCalculus