12,089
edits
Changes
→Differential Logic
==Differential Logic==
==Differential Logic==
{| align="center" cellspacing="6" style="text-align:center"
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
Figure 22-a. Conjunction pq : X -> B
Figure 22-a. Conjunction pq : X -> B
</pre>
</pre>
|}
{| align="center" cellspacing="6" style="text-align:center"
| [[Image:Venn Diagram P And Q.jpg|500px]]
|-
| <math>\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}</math>
|}
{| align="center" cellspacing="6" style="text-align:center"
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
Figure 22-b. Enlargement E[pq] : EX -> B
Figure 22-b. Enlargement E[pq] : EX -> B
</pre>
</pre>
|}
{| align="center" cellspacing="6" style="text-align:center"
|
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
Figure 22-c. Difference D[pq] : EX -> B
Figure 22-c. Difference D[pq] : EX -> B
</pre>
</pre>
|}