#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:

\[\texttt{(}p\texttt{,(}q\texttt{,}r\texttt{))}, \quad \texttt{((}p\texttt{,}q\texttt{),}r\texttt{)}, \quad 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