Jon Awbrey · @Inquiry
100 followers · 428 posts · Server mathstodon.xyz

• 15
oeis.org/w/index.php?title=Log

We have treated in some detail various forms of the or whose text expression is \(``\texttt{((}~\texttt{))}~=~".\) For comparison, let's record the plane-embedded & forms of the axiom whose text expression is \(``\texttt{(}~\texttt{)(}~\texttt{)}=\texttt{(}~\texttt{)}".\)

Figure 7 reproduces the planar form of the equation we first saw in Figure 1.

Figure 7
oeis.org/w/images/b/b4/Logical

#Peirce #logic #topologicaldual #logicalaxiom #initialequation #LogicalGraphs

Last updated 2 years ago

Jon Awbrey · @Inquiry
96 followers · 390 posts · Server mathstodon.xyz

• 9
oeis.org/w/index.php?title=Log

From the and its text expression we turn to representing their common form in computer memory, where it can be manipulated with the greatest of ease. We begin by transforming the alpha graph into its . Planar regions of the alpha graph are mapped into points of the and boundaries between those planar regions are mapped into lines between those points.

#topologicalduality #logic #dualgraph #topologicaldual #alphagraph #LogicalGraphs

Last updated 2 years ago