#constantproposition — Public Fediverse posts

#DifferentialPropositionalCalculus • 6.2
• https://inquiryintoinquiry.com/2020/03/02/differential-propositional-calculus-6/

Figure 9. #VennDiagrams for #PositivePropositions on 3 Variables
• https://inquiryintoinquiry.files.wordpress.com/2020/03/venn-diagrams-e280a2-p-q-r-e280a2-positive-propositions.jpg

Rank 3 (Top). The #BooleanProduct or #LogicalConjunction \(pqr.\)

Rank 2. The 3 #BooleanProducts \(pr, qr, pq.\)

Rank 1. The 3 #BasicPropositions \(q, p, r.\)

Rank 0 (Bottom). The #ConstantFunction \(1 : \mathbb{B}^3 \to \mathbb{B}\) or the #ConstantProposition expressed in #CactusSyntax by the form \(\texttt{((}~\texttt{))}.\)

#Logic