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