12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:18, 27 September 2010
, 12:18, 27 September 2010→C1. Double negation: renumber figures
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_05.jpg|500px]] || (1)
| [[Image:PERS_Figure_05.jpg|500px]] || (5)
|}
|}
| [[Image:Equational Inference Marquee QED.png|500px]]
| [[Image:Equational Inference Marquee QED.png|500px]]
|}
|}
| (5)
| (6)
|}
|}
| [[Image:Double Negation 2.0 Animation.gif]]
| [[Image:Double Negation 2.0 Animation.gif]]
|}
|}
| (6)
| (7)
|}
|}