Changes

For all of the reasons mentioned above, and for the sake of a more compact illustration of the ins and outs of a typical propositional equation reasoning system, let's now take up a much simpler example of a contingent proposition:

For all of the reasons mentioned above, and for the sake of a more compact illustration of the ins and outs of a typical propositional equation reasoning system, let's now take up a much simpler example of a contingent proposition:

{| align="center" cellpadding="10" style="text-align:center; width:90%"

{| align="center" cellpadding="10"

|

| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)

|                      (p (q)) (p (r))                     |

|                                                           |

| (26)

|}

|}