Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 14:00, 17 August 2009

979 bytes removed , 14:00, 17 August 2009

→‎Analysis of contingent propositions: convert graphic

Line 979: Line 979:

Let us now examine the following propositional equation:

−

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

+

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

−

|

+

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

−

~~<pre>~~

−

~~o-----------------------------------------------------------o~~

−

~~| Equation E_1 |~~

−

~~o-----------------------------------------------------------o~~

−

~~| |~~

−

~~| q r |~~

−

~~| q o o r o |~~

−

~~| | | | |~~

−

~~| p o o p p o |~~

−

~~| \ / | |~~

−

~~| @ = @ |~~

−

~~| |~~

−

| (p (q)) (p (r)) = (p (~~q r~~)) |

−

~~| |~~

−

| ~~[p=>q] & [p=>r] = [p=>[q&r~~]] |

−

| |

−

~~o-----------------------------------------------------------o~~

−

~~</pre>~~

−

| (29)

|}

Jon Awbrey

12,080

edits