#minimaldistinctregions — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #minimaldistinctregions, aggregated by home.social.
-
#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 2 values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the #MinimalDistinctRegions of the universe, represented by single cells of the corresponding #VennDiagram.
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#ModelTheory #ProofTheory #Semiotics -
#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 2 values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the #MinimalDistinctRegions of the universe, represented by single cells of the corresponding #VennDiagram.
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#ModelTheory #ProofTheory #Semiotics -
#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 2 values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the #MinimalDistinctRegions of the universe, represented by single cells of the corresponding #VennDiagram.
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#ModelTheory #ProofTheory #Semiotics