Re: logical equivalence problem

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Discrete Mathers,

It's become an instructive exercise to try and "show all my work"
on Mike's logical equivalence problem, and I'm trying also to add
in the minimal bits of background on logical graphs that it takes
to understand how they work.

I have put the second edition of my problem workup at this location:

http://www.mywikibiz.com/Talk:Logical_graph#Logical_Equivalence_Problem

Let me know if it works for you.

Conceptual Graphers,

I am posting this to the CG list as an illustration of some issues
in logic education in the world wide web environment.  More on that
later on.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mathweb: http://www.mathweb.org/wiki/User:Jon_Awbrey
p2p wiki: http://www.p2pfoundation.net/User:JonAwbrey
planet math: http://planetmath.org/?op=userobjs;id=15246
proof wiki: http://www.proofwiki.org/wiki/User:Jon_Awbrey
semantic web: http://semanticweb.org/wiki/User:Jon_Awbrey
ontolog: http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey
c: http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=5619
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o