[CG] Re: Differential Propositional Calculus

Differential Propositional Calculus • 6 • https://inquiryintoinquiry.com/2024/12/04/differential-propositional-calcul… Cactus Calculus — Table 6 outlines a syntax for propositional calculus based on two types of logical connectives, both of variable k‑ary scope. • A bracketed sequence of propositional expressions (e₁, e₂, …, eₖ) is taken to mean exactly one of the propositions e₁, e₂, …, eₖ is false, in other words, their “minimal negation” is true. • A concatenated sequence of propositional expressions e₁ e₂ … eₖ is taken to mean every one of the propositions e₁, e₂, …, eₖ is true, in other words, their “logical conjunction” is true. Table 6. Syntax and Semantics of a Calculus for Propositional Logic • https://inquiryintoinquiry.files.wordpress.com/2022/10/syntax-and-semantics… All other propositional connectives may be obtained through combinations of the above two forms. As it happens, the concatenation form is dispensable in light of the bracket form but it is convenient to maintain it as an abbreviation for more complicated bracket expressions. While working with expressions solely in propositional calculus, it is easiest to use plain parentheses for bracket forms. In contexts where parentheses are needed for other purposes “teletype” parentheses (…) or barred parentheses (|…|) may be used for logical operators. The briefest expression for logical truth is the empty word, denoted ε or λ in formal languages, where it forms the identity element for concatenation. It may be given visible expression in textual settings by means of the logically equivalent form (()), or, especially if operating in an algebraic context, by a simple 1. Also when working in an algebraic mode, the plus sign “+” may be used for exclusive disjunction. For example, we have the following paraphrases of algebraic expressions. • x + y = (x, y) • x + y + z = ((x, y), z) = (x, (y, z)) It is important to note the last expressions are not equivalent to the triple bracket (x, y, z). Resources — Logic Syllabus • https://inquiryintoinquiry.com/logic-syllabus/ Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7 Regards, Jon cc: https://www.academia.edu/community/VvWmyj cc: https://www.researchgate.net/post/Differential_Propositional_Calculus