Frankl, My Dear • 7

Re: Dick Lipton & Ken Regan(1)(2)

We continue with the differential analysis of the proposition in Example 1.

Example 1

Venn Diagram PQR

A proposition defined on one universe of discourse has natural extensions to larger universes of discourse. As a matter of course in a given context of discussion, some of these extensions come to be taken for granted as the most natural extensions to make in passing from one universe to the next and they tend to be assumed automatically, by default, in the absence of explicit notice to the contrary. These are the tacit extensions that apply in that context.

Differential logic, at the first order of analysis, treats extensions from boolean spaces of type \mathbb{B}^k to enlarged boolean spaces of type \mathbb{B}^k \times \mathbb{D}^k. In this setting \mathbb{B} \cong \mathbb{D} \cong \{ 0, 1 \} but we use different letters merely to distinguish base and differential features.

In our present example, the tacit extension \boldsymbol\varepsilon f of f is the boolean function \boldsymbol\varepsilon f : \mathbb{B}^3 \times \mathbb{D}^3 \to \mathbb{B} defined by the following equation:

\boldsymbol\varepsilon f(p, q, r, \mathrm{d}p, \mathrm{d}q, \mathrm{d}r) ~=~ f(p, q, r).

The boolean expansion of \boldsymbol\varepsilon f takes the following form:

\boldsymbol\varepsilon f(p, q, r, \mathrm{d}p, \mathrm{d}q, \mathrm{d}r) =

\begin{array}{*{8}{l}}  &  p q r ~  \texttt{(} \mathrm{d}p \texttt{)(} \mathrm{d}q \texttt{)(} \mathrm{d}r \texttt{)}  & + &  p q r ~  \texttt{(} \mathrm{d}p \texttt{)(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~}  & + &  p q r ~  \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)}  & + &  p q r ~  \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~}  \\[4pt]  + &  p q r ~  \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)(} \mathrm{d}r \texttt{)}  & + &  p q r ~  \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~}  & + &  p q r ~  \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)}  & + &  p q r ~  \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~}  \end{array}

In other words, \boldsymbol\varepsilon f is simply f on the base variables p, q, r extended by a tautology — commonly known as a “Don’t Care” condition — on the differential variables \mathrm{d}p, \mathrm{d}q, \mathrm{d}r.

To be continued …


This entry was posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl and tagged , , , , , , , , . Bookmark the permalink.

7 Responses to Frankl, My Dear • 7

  1. Pingback: Frankl, My Dear : 8 | Inquiry Into Inquiry

  2. Pingback: Frankl, My Dear : 9 | Inquiry Into Inquiry

  3. Pingback: Survey of Differential Logic • 1 | Inquiry Into Inquiry

  4. Pingback: Survey of Differential Logic • 2 | Inquiry Into Inquiry

  5. Pingback: Animated Logical Graphs • 24 | Inquiry Into Inquiry

  6. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

  7. Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.