| Line 820: | 
Line 820: | 
|   |  |   |  | 
|   | {| align="center" cellpadding="8" style="text-align:center"  |   | {| align="center" cellpadding="8" style="text-align:center"  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1 Head.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-1.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-2.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-3.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-4.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-5.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-6.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-7.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-8.jpg]]  | + | | [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg]]  | 
|   | |-  |   | |-  | 
| − | | [[Image:PERS (P (Q)) (P (R)) = (P (Q R)) Proof 2-1-9.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-1.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-3.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-5.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-7.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-9.jpg|500px]]  | 
|   | |}  |   | |}  |