Changes

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search

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

Revision as of 04:20, 21 March 2010

7 bytes added ,  04:20, 21 March 2010
→‎Analysis of contingent propositions: renumber figures
Line 692: Line 692:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
+
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (30)
 
|}
 
|}
   Line 703: Line 703:  
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;27 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;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.
    
{| 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]] || (27)
+
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (31)
 
|-
 
|-
 
| <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 715: Line 715:  
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;28 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;27 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;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:
    
{| align="center" cellpadding="8" style="text-align:center"
 
{| align="center" cellpadding="8" style="text-align:center"
−
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (28)
+
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (32)
 
|-
 
|-
 
| <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 752: Line 752:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
+
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (33)
 
|}
 
|}
   Line 769: Line 769:  
{| 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]]
−
| (30)
+
| (34)
 
|}
 
|}
   Line 822: Line 822:  
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
|}
 
|}
−
| (31)
+
| (35)
 
|}
 
|}
   Line 829: Line 829:  
{| 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]]
−
| (32)
+
| (36)
 
|}
 
|}
   Line 848: Line 848:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
 +
| (37)
 
|}
 
|}
   Line 894: Line 895:  
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
|}
 
|}
−
| (33)
+
| (38)
 
|}
 
|}
   Line 900: Line 901:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (34)
+
| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (39)
 
|}
 
|}
   Line 906: Line 907:     
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (35)
+
| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (40)
 
|}
 
|}
   Line 926: Line 927:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (36)
+
| (41)
 
|}
 
|}
   Line 945: Line 946:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (37)
+
| (42)
 
|}
 
|}
   Line 976: Line 977:  
o-----------------------------------------------------------o
 
o-----------------------------------------------------------o
 
</pre>
 
</pre>
−
| (38)
+
| (43)
 
|}
 
|}
   Line 1,011: Line 1,012:  
{| 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]]
−
| (39)
+
| (44)
 
|}
 
|}
   Line 1,090: Line 1,091:  
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 
|}
 
|}
−
| (40)
+
| (45)
 
|}
 
|}
  
Jon Awbrey
12,080

edits

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

Navigation menu