[Inquiry] Proof Animations

Jon Awbrey jawbrey at att.net
Tue Sep 21 20:40:31 CDT 2010


OntoLoggers, Conceptual Graphers ...

Here's a collection of proof animations --
in a variant of Peirce's logical graphs --
that I worked up since last I was here:

http://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations

There's explanatory text to be had:

http://mywikibiz.com/Logical_Graph
http://mywikibiz.com/Propositional_Equation_Reasoning_Systems

But I thought it might be fun just
to show all the pics in one place.

Jon Awbrey

-- 

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey


More information about the Inquiry mailing list