Changes

MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 20:18, 24 March 2010

77 bytes added ,  20:18, 24 March 2010
→‎Analysis of contingent propositions: renumb figs
Line 704: Line 704:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (30)
+
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (α)
 
|}
 
|}
   Line 715: Line 715:  
Since the expression <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))}</math> involves just three variables, it may be worth the trouble to draw a venn diagram of the situation.  There are in fact two different ways to execute the picture.
 
Since the expression <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))}</math> involves just three variables, it may be worth the trouble to draw a venn diagram of the situation.  There are in fact two different ways to execute the picture.
   −
Figure&nbsp;31 indicates the points of the universe of discourse <math>X\!</math> for which the proposition <math>f : X \to \mathbb{B}</math> has the value 1, here interpreted as the logical value <math>\operatorname{true}.</math>  In this ''paint by numbers'' style of picture, one simply paints over the cells of a generic template for the universe <math>X,\!</math> going according to some previously adopted convention, for instance:  Let the cells that get the value 0 under <math>f\!</math> remain untinted and let the cells that get the value 1 under <math>f\!</math> be painted or shaded.  In doing this, it may be good to remind ourselves that the value of the picture as a whole is not in the ''paints'', in other words, the <math>0, 1\!</math> in <math>\mathbb{B},</math> but in the pattern of regions that they indicate.
+
Figure&nbsp;&beta; indicates the points of the universe of discourse <math>X\!</math> for which the proposition <math>f : X \to \mathbb{B}</math> has the value 1, here interpreted as the logical value <math>\operatorname{true}.</math>  In this ''paint by numbers'' style of picture, one simply paints over the cells of a generic template for the universe <math>X,\!</math> going according to some previously adopted convention, for instance:  Let the cells that get the value 0 under <math>f\!</math> remain untinted and let the cells that get the value 1 under <math>f\!</math> be painted or shaded.  In doing this, it may be good to remind ourselves that the value of the picture as a whole is not in the ''paints'', in other words, the <math>0, 1\!</math> in <math>\mathbb{B},</math> but in the pattern of regions that they indicate.
    
{| align="center" cellpadding="8" style="text-align:center"
 
{| align="center" cellpadding="8" style="text-align:center"
−
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (31)
+
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (&beta;)
 
|-
 
|-
 
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
 
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
Line 727: Line 727:  
The easiest way to see the sense of the venn diagram is to notice that the expression <math>\texttt{(} p \texttt{(} q \texttt{))},</math> read as <math>p \Rightarrow q,</math> can also be read as <math>{}^{\backprime\backprime} \operatorname{not}~ p ~\operatorname{without}~ q {}^{\prime\prime}.</math>  Its assertion effectively excludes any tincture of truth from the region of <math>P\!</math> that lies outside the region <math>Q.\!</math>  In a similar manner, the expression <math>\texttt{(} p \texttt{(} r \texttt{))},</math> read as <math>p \Rightarrow r,</math> can also be read as <math>{}^{\backprime\backprime} \operatorname{not}~ p ~\operatorname{without}~ r {}^{\prime\prime}.</math>  Asserting it effectively excludes any tincture of truth from the region of <math>P\!</math> that lies outside the region <math>R.\!</math>
 
The easiest way to see the sense of the venn diagram is to notice that the expression <math>\texttt{(} p \texttt{(} q \texttt{))},</math> read as <math>p \Rightarrow q,</math> can also be read as <math>{}^{\backprime\backprime} \operatorname{not}~ p ~\operatorname{without}~ q {}^{\prime\prime}.</math>  Its assertion effectively excludes any tincture of truth from the region of <math>P\!</math> that lies outside the region <math>Q.\!</math>  In a similar manner, the expression <math>\texttt{(} p \texttt{(} r \texttt{))},</math> read as <math>p \Rightarrow r,</math> can also be read as <math>{}^{\backprime\backprime} \operatorname{not}~ p ~\operatorname{without}~ r {}^{\prime\prime}.</math>  Asserting it effectively excludes any tincture of truth from the region of <math>P\!</math> that lies outside the region <math>R.\!</math>
   −
Figure&nbsp;32 shows the other standard way of drawing a venn diagram for such a proposition.  In this ''punctured soap film'' style of picture &mdash; others may elect to give it the more dignified title of a ''logical quotient topology'' &mdash; one begins with Figure&nbsp;31 and then proceeds to collapse the fiber of 0 under <math>X\!</math> down to the point of vanishing utterly from the realm of active contemplation, arriving at the following picture:
+
Figure&nbsp;&gamma; shows the other standard way of drawing a venn diagram for such a proposition.  In this ''punctured soap film'' style of picture &mdash; others may elect to give it the more dignified title of a ''logical quotient topology'' &mdash; one begins with Figure&nbsp;31 and then proceeds to collapse the fiber of 0 under <math>X\!</math> down to the point of vanishing utterly from the realm of active contemplation, arriving at the following picture:
    
{| align="center" cellpadding="8" style="text-align:center"
 
{| align="center" cellpadding="8" style="text-align:center"
−
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (32)
+
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (&gamma;)
 
|-
 
|-
 
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
 
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
Line 764: Line 764:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (33)
+
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (&delta;)
 
|}
 
|}
   Line 781: Line 781:  
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
 
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
 
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
−
| (34)
+
| (&epsilon;)
 
|}
 
|}
   Line 834: Line 834:  
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
|}
 
|}
−
| (35)
+
| (&zeta;)
 
|}
 
|}
   Line 841: Line 841:  
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
 
| [[Image:Logical Graph (P (Q)) (P (R)) DNF.jpg|500px]]
 
| [[Image:Logical Graph (P (Q)) (P (R)) DNF.jpg|500px]]
−
| (36)
+
| (&eta;)
 
|}
 
|}
   Line 860: Line 860:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (37)
+
| (&theta;)
 
|}
 
|}
   Line 907: Line 907:  
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
|}
 
|}
−
| (38)
+
| (&iota;)
 
|}
 
|}
   Line 913: Line 913:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (39)
+
| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (&kappa;)
 
|}
 
|}
   Line 919: Line 919:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (40)
+
| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (&lambda;)
 
|}
 
|}
   Line 939: Line 939:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (41)
+
| (&mu;)
 
|}
 
|}
   Line 958: Line 958:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (42)
+
| (&nu;)
 
|}
 
|}
   Line 989: Line 989:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (43)
+
| (&xi;)
 
|}
 
|}
   Line 1,024: Line 1,024:  
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
 
| [[Image:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg|500px]]
 
| [[Image:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg|500px]]
−
| (44)
+
| (&omicron;)
 
|}
 
|}
   Line 1,103: Line 1,103:  
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
|}
 
|}
−
| (45)
+
| (&pi;)
 
|}
 
|}
  
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/114271"

Navigation menu