12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 14:14, 22 June 2009
, 14:14, 22 June 2009→Note 6: spacing
A suitably generic definition of the extended universe of discourse is afforded by the following set-up:
A suitably generic definition of the extended universe of discourse is afforded by the following set-up:
{| align="center" cellspacing="10" width="90%"
{| align="center" cellspacing="20" width="90%"
|
|
<math>\begin{array}{lccl}
<math>\begin{array}{lccl}
For a proposition of the form <math>f : X_1 \times \ldots \times X_k \to \mathbb{B},</math> the ''(first order) enlargement'' of <math>f\!</math> is the proposition <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B}</math> that is defined by the following equation:
For a proposition of the form <math>f : X_1 \times \ldots \times X_k \to \mathbb{B},</math> the ''(first order) enlargement'' of <math>f\!</math> is the proposition <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B}</math> that is defined by the following equation:
{| align="center" cellspacing="10" width="90%"
{| align="center" cellspacing="20" width="90%"
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
In the example of logical conjunction, <math>f(p, q) = pq,\!</math> the enlargement <math>\operatorname{E}f</math> is formulated as follows:
In the example of logical conjunction, <math>f(p, q) = pq,\!</math> the enlargement <math>\operatorname{E}f</math> is formulated as follows:
{| align="center" cellspacing="10" width="90%"
{| align="center" cellspacing="20" width="90%"
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
Given that this expression uses nothing more than the boolean ring operations of addition and multiplication, it is permissible to "multiply things out" in the usual manner to arrive at the following result:
Given that this expression uses nothing more than the boolean ring operations of addition and multiplication, it is permissible to "multiply things out" in the usual manner to arrive at the following result:
{| align="center" cellspacing="10" width="90%"
{| align="center" cellspacing="20" width="90%"
|
|
<math>\begin{matrix}
<math>\begin{matrix}
Given the data that develops in this form of analysis, the disjoined ingredients can now be folded back into a boolean expansion or a disjunctive normal form (DNF) that is equivalent to the enlarged proposition <math>\operatorname{E}f.</math>
Given the data that develops in this form of analysis, the disjoined ingredients can now be folded back into a boolean expansion or a disjunctive normal form (DNF) that is equivalent to the enlarged proposition <math>\operatorname{E}f.</math>
{| align="center" cellspacing="10" width="90%"
{| align="center" cellspacing="20" width="90%"
|
|
<math>\begin{matrix}
<math>\begin{matrix}
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}p)(\operatorname{d}q)</math> is drawn as a loop at the point <math>p~q.</math>
Here is a summary of the result, illustrated by means of a digraph picture, where the "no change" element <math>(\operatorname{d}p)(\operatorname{d}q)</math> is drawn as a loop at the point <math>p~q.</math>
{| align="center" cellspacing="10" style="text-align:center"
{| align="center" cellspacing="20" style="text-align:center"
| [[Image:Directed Graph PQ Enlargement Conj.jpg|500px]]
| [[Image:Directed Graph PQ Enlargement Conj.jpg|500px]]
|-
|-