Jon Awbrey · @Inquiry
74 followers · 244 posts · Server mathstodon.xyz
#DifferentialPropositionalCalculus • 7.2
• https://inquiryintoinquiry.com/2020/03/05/differential-propositional-calculus-7/
In a UniverseOfDiscourse based on 3 #BooleanVariables \(p, q, r\) there are \(2^3 = 8\) #SingularPropositions. Their #VennDiagrams are shown in Figure 10.
\(\text{Figure 10. Singular Propositions} : \mathbb{B}^3 \to \mathbb{B}\)
• https://inquiryintoinquiry.files.wordpress.com/2020/03/venn-diagrams-e280a2-p-q-r-e280a2-singular-propositions.jpg
Related Subjects —
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#BooleanFunctions #PropositionalCalculus #DifferentialLogic #LogicalGraphs #logic #venndiagrams #singularpropositions #booleanvariables #DifferentialPropositionalCalculus
Jon Awbrey · @Inquiry
59 followers · 195 posts · Server mathstodon.xyz
#DifferentialPropositionalCalculus • 6.1
• https://inquiryintoinquiry.com/2020/03/02/differential-propositional-calculus-6/
In a #UniverseOfDiscourse based on 3 #BooleanVariables \(p, q, r\) there are \(2^3 = 8\) #PositivePropositions. Their #VennDiagrams are shown in Figure 9.
\(\text{Figure 9. Positive Propositions} : \mathbb{B}^3 \to \mathbb{B}\)
• https://inquiryintoinquiry.files.wordpress.com/2020/03/venn-diagrams-e280a2-p-q-r-e280a2-positive-propositions.jpg
#venndiagrams #positivepropositions #booleanvariables #UniverseOfDiscourse #DifferentialPropositionalCalculus
Jon Awbrey · @Inquiry
39 followers · 143 posts · Server mathstodon.xyz
#DifferentialPropositionalCalculus • 5.2
• https://inquiryintoinquiry.com/2020/02/29/differential-propositional-calculus-5/
In a #UniverseOfDiscourse based on 3 #BooleanVariables, \(p, q, r,\) the #LinearPropositions take the shapes shown in Figure 8.
\(\text{Figure 8. Linear Propositions} : \mathbb{B}^3 \to \mathbb{B}\)
• https://inquiryintoinquiry.files.wordpress.com/2020/02/venn-diagrams-e280a2-p-q-r-e280a2-linear-propositions.jpg
Related Subjects —
#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#BooleanFunctions #PropositionalCalculus #DifferentialLogic #LogicalGraphs #logic #linearpropositions #booleanvariables #UniverseOfDiscourse #DifferentialPropositionalCalculus