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 19:25, 24 March 2010
, 19:25, 24 March 2010→Frequently used theorems: renumb figs
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_05.jpg|500px]] || (1.2.1.a)
| [[Image:PERS_Figure_05.jpg|500px]] || (α)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_06.jpg|500px]] || (1.2.1.b)
| [[Image:PERS_Figure_06.jpg|500px]] || (β)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_07.jpg|500px]] || (1.2.1.c)
| [[Image:PERS_Figure_07.jpg|500px]] || (γ)
|}
|}
| [[Image:Double Negation 2.0 Animation.gif]]
| [[Image:Double Negation 2.0 Animation.gif]]
|}
|}
| (1.2.1.d)
| (δ)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_08.jpg|500px]] || (1.2.2.a)
| [[Image:PERS_Figure_08.jpg|500px]] || (α)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_09.jpg|500px]] || (1.2.2.b)
| [[Image:PERS_Figure_09.jpg|500px]] || (β)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_10.jpg|500px]] || (1.2.3.a)
| [[Image:PERS_Figure_10.jpg|500px]] || (α)
|}
|}
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_11.jpg|500px]] || (1.2.3.b)
| [[Image:PERS_Figure_11.jpg|500px]] || (β)
|}
|}
