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

#CactusCalculus Conventions —

The briefest expression for #LogicalTruth is the #EmptyWord, denoted \(\varepsilon\) or \(\lambda\) in #FormalLanguages, where it forms the #IdentityElement for #Concatenation. It may be given visible expression in this context by means of the logically equivalent form \(\texttt{((} ~ \texttt{))},\) or, especially if operating in an algebraic context, by a simple \(1.\)