Cf: Minimal Negation Operators • 3
https://inquiryintoinquiry.com/2017/08/30/minimal-negation-operators-3/
All,
It will take a few more rounds of stage-setting before we are
able to entertain concrete examples of applications but the
following may indicate the direction of generalization
embodied in minimal negation operators.
To begin, let’s observe two ways of generalizing the logical operation
commonly known as exclusive disjunction (XOR) or symmetric difference (Δ).
Let B = the boolean domain {0, 1}.
Exclusive disjunction is a boolean function Δ : B × B → B
isomorphic to the algebraic field addition + : B × B → B,
also known as addition mod 2. Adding the language of
minimal negation operators to the mix we have the
following equivalent expressions.
XOR(p, q) = Δ(p, q) = p + q = ν(p, q) = (p, q)
Minimal Negation ν(p, q) as Parity Indicator
============================================
Generalizing the function p + q of two variables to more
variables extends the sequence of functions in the fashion
p + q + r, p + q + r + s, p + q + r + s + t, and so on.
These are known as “parity sums”, returning a value of 0
when there are an even number of 1’s in the sum and returning
a value of 1 when there are an odd number of 1’s in the sum.
Minimal Negation ν(p, q) as Border Indicator
============================================
The equivalent expressions (p, q) = ν(p, q) = p + q = p Δ q = p XOR q
may be read with a different connotation, indicating the venn diagram
cells adjacent to the conjunction p ∧ q. Generalizing the function
(p, q) of two variables to more variables extends the sequence of
functions in the fashion (p, q, r), (p, q, r, s), (p, q, r, s, t),
and so on. That sequence of operators differs from the sequence of
parity sums once it passes the 2-variable case.
The triple sum may be written in terms of 2-place minimal negations as follows.
p + q + r = ((p, q), r) = (p, (q, r))
It is important to recognize the triple sum expressions and the
3-place minimal negation (p, q, r) have very different meanings.
Regards,
Jon
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON
PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected]
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the
body. More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and
co-managed by him and Ben Udell.
