MyWikiBiz

Changes

User:Jon Awbrey/GRAPHICS (view source)

Revision as of 14:00, 27 August 2009

2,599 bytes added ,  14:00, 27 August 2009
→‎Propositional Equation Reasoning Systems
Line 774: Line 774:     
===Analysis of contingent propositions===
 
===Analysis of contingent propositions===
−
  −
<br>
      
{| 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]] || (26)
 
|}
 
|}
−
  −
<br>
      
{| align="center" cellpadding="8" style="text-align:center"
 
{| align="center" cellpadding="8" style="text-align:center"
Line 788: Line 784:  
| <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>
 
|}
 
|}
−
  −
<br>
      
{| align="center" cellpadding="8" style="text-align:center"
 
{| align="center" cellpadding="8" style="text-align:center"
Line 796: Line 790:  
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
 
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
 
|}
 
|}
−
  −
<br>
      
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 803: Line 795:  
|}
 
|}
   −
<br>
+
====Equation 1 : Proof 1====
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 810: Line 802:  
|}
 
|}
   −
<br>
+
====Equation 1 : Proof 2====
 +
 
 +
=====Single Image Version=====
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 817: Line 811:  
|}
 
|}
   −
<br>
+
=====Serial Image Version=====
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 863: Line 857:  
| (31)
 
| (31)
 
|}
 
|}
−
  −
<br>
      
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Line 911: Line 903:  
|}
 
|}
   −
====Proof 3====
+
====Equation 1 : Proof 3====
    
{|
 
{|
Line 1,394: Line 1,386:     
=====Variant 2=====
 
=====Variant 2=====
 +
 +
{| align="center" cellpadding="8"
 +
|
 +
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 +
|-
 +
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
 +
|}
 +
| (40)
 +
|}
 +
 +
===Praeclarum Theorema : Proof by CAST===
    
{| align="center" cellpadding="8"
 
{| align="center" cellpadding="8"
Jon Awbrey
12,140

edits

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