#DifferentialPropositionalCalculus • 5.6
• https://inquiryintoinquiry.com/2020/02/29/differential-propositional-calculus-5/
\(\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
At the bottom of Figure 8 is #VennDiagram for the #LinearProposition of rank 0, the constant \(0\) function or the everywhere false proposition, expressed in #CactusSyntax by the form \(\texttt{(}~\texttt{)}\) or in algebraic form by a simple \(0.\)
\(\text{Figure 8.4 Venn Diagram for}~\texttt{(}~\texttt{)}\)