12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:14, 24 March 2010
, 19:14, 24 March 2010→C<sub>1</sub>. Double negation theorem: renumber figures
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_05.jpg|500px]] || (5)
| [[Image:PERS_Figure_05.jpg|500px]] || (1.2.1.a)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_06.jpg|500px]] || (6)
| [[Image:PERS_Figure_06.jpg|500px]] || (1.2.1.b)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_07.jpg|500px]] || (7)
| [[Image:PERS_Figure_07.jpg|500px]] || (1.2.1.c)
|}
|}
| [[Image:Double Negation 2.0 Animation.gif]]
| [[Image:Double Negation 2.0 Animation.gif]]
|}
|}
| (8)
| (1.2.1.d)
|}
|}