| 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]] |
| | |} | | |} |