12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 02:23, 18 August 2009
, 02:23, 18 August 2009→Analysis of contingent propositions: alt fig
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a.jpg|500px]]
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Thin.jpg|500px]]
| (31)
| (31)
|}
|}