12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 14:00, 17 August 2009
, 14:00, 17 August 2009→Analysis of contingent propositions: convert graphic
Let us now examine the following propositional equation:
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)
| [p=>q] & [p=>r] = [p=>[q&r]] |
| (29)
|}
|}
