Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 19:44, 16 May 2008

82 bytes removed , 19:44, 16 May 2008

→‎Work Area: mod table

Line 1,242: Line 1,242:

==Work Area==

−

~~<font face="courier new">~~

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"

|

{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%"

−

|   || From || (''A'') || and || (d''A'') || infer || (''A'') || next. ||  

+

|  

+

| From

+

| (''A'')

+

| and

+

| (d''A'')

+

| infer

+

| (''A'')

+

| next.

+

|  

|-

−

|   || From || (''A'') || and || d''A'' || infer || ''A'' || next. ||  

+

|  

+

| From

+

| (''A'')

+

| and

+

| d''A''

+

| infer

+

| ''A''

+

| next.

+

|  

|-

−

|   || From || ''A'' || and || (d''A'') || infer || ''A'' || next. ||  

+

|  

+

| From

+

| ''A''

+

| and

+

| (d''A'')

+

| infer

+

| ''A''

+

| next.

+

|  

|-

−

|   || From || ''A'' || and || d''A'' || infer || (''A'') || next. ||  

+

|  

+

| From

+

| ''A''

+

| and

+

| d''A''

+

| infer

+

| (''A'')

+

| next.

+

|  

|}

−

~~</font><br>~~

Jon Awbrey

12,080

edits