#minimalnegationoperators — Public Fediverse posts

#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

#Logic #LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#CactusSyntax #MinimalNegationOperators
#DiscreteDynamics #QualitativeDynamics