#identityelement — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #identityelement, aggregated by home.social.
-
#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.\)