#DifferentialPropositionalCalculus • 5.3
• https://inquiryintoinquiry.com/2020/02/29/differential-propositional-calculus-5/

At the top of Figure 8 is the #VennDiagram for the #LinearProposition of rank 3, which may be expressed by any one of the following 3 forms:

$$\mathtt{\text{(}}p\mathtt{\text{,(}}q\mathtt{\text{,}}r\mathtt{\text{))}},\mathtt{\text{((}}p\mathtt{\text{,}}q\mathtt{\text{),}}r\mathtt{\text{)}},p+q+r.$$

$\text{Figure 8.1. Rank 3 Linear}f:{\mathbb{B}}^3\to \mathbb{B}$
• https://inquiryintoinquiry.files.wordpress.com/2020/02/venn-diagram-e280a2-p-q-r-e280a2-p-q-r.jpg

#Logic #LogicalGraphs
#PaintedAndRootedCacti
#MinimalNegationOperators

#DifferentialPropositionalCalculus • 2
https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/

#CactusCalculus —

Table 6 introduces a #Syntax for #PropositionalCalculus based on 2 families of #MultigradeLogicalConnectives.

Table 6. #Syntax and #Semantics of a Calculus for #PropositionalLogic
https://inquiryintoinquiry.files.wordpress.com/2020/02/syntax-and-semantics-of-a-calculus-for-propositional-logic.png

Related Subjects —
#Peirce #Semiotics #BooleanFunctions
#Logic #LogicalGraphs #DifferentialLogic
#GraphTheory #CactusGraphs #CactusLanguage
#MinimalNegationOperators #PaintedAndRootedCacti