MyWikiBiz

Changes

User:Jon Awbrey/GRAPHICS (view source)

Revision as of 12:18, 18 August 2009

43 bytes added ,  12:18, 18 August 2009
→‎Analysis of contingent propositions: insert equational inference bars
Line 819: Line 819:  
<br>
 
<br>
   −
{| align="center" cellpadding="8" style="text-align:center"
+
{| 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)) 2-1-0.jpg]]
   
|-
 
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg]]
  −
|-
  −
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg]]
  −
|}
  −
  −
<br>
  −
  −
{| align="center" cellpadding="8" style="text-align:center"
   
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
 
|-
 
|-
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg|500px]]
 
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg|500px]]
 +
|-
 +
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
 
|}
 
|}
Jon Awbrey
12,140

edits

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