12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:50, 19 October 2008
, 12:50, 19 October 2008→Peirce's law
|}
|}
A graphical proof of Peirce's law is shown in Figure 32.
A graphical proof of Peirce's law is shown in Figure 13.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"