Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 19:25, 24 March 2010

3 bytes removed , 19:25, 24 March 2010

→‎Frequently used theorems: renumb figs

Line 93: Line 93:

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

| [[Image:PERS_Figure_05.jpg|500px]] || (~~1.2.1.a~~)

+

| [[Image:PERS_Figure_05.jpg|500px]] || (α)

|}

Line 99: Line 99:

{| 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"

−

| [[Image:PERS_Figure_07.jpg|500px]] || (~~1.2.1.c~~)

+

| [[Image:PERS_Figure_07.jpg|500px]] || (γ)

|}

Line 114: Line 114:

| [[Image:Double Negation 2.0 Animation.gif]]

|}

−

| (~~1.2.1.d~~)

+

| (δ)

|}

Line 122: Line 122:

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

| [[Image:PERS_Figure_08.jpg|500px]] || (~~1.2.2.a~~)

+

| [[Image:PERS_Figure_08.jpg|500px]] || (α)

|}

Line 128: Line 128:

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

| [[Image:PERS_Figure_09.jpg|500px]] || (~~1.2.2.b~~)

+

| [[Image:PERS_Figure_09.jpg|500px]] || (β)

|}

Line 136: Line 136:

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

| [[Image:PERS_Figure_10.jpg|500px]] || (~~1.2.3.a~~)

+

| [[Image:PERS_Figure_10.jpg|500px]] || (α)

|}

Line 142: Line 142:

{| align="center" border="0" cellpadding="10" cellspacing="0"

−

| [[Image:PERS_Figure_11.jpg|500px]] || (~~1.2.3.b~~)

+

| [[Image:PERS_Figure_11.jpg|500px]] || (β)

|}

Jon Awbrey

12,080

edits