12,080
edits
Changes
→Analysis of contingent propositions: add example
|}
|}
| (31)
| (31)
|}
<br>
{| 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)) 2-2-0.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-1.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-3.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-4.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-5.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-7.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-8.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-9.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
|}
| (33)
|}
|}