Animated Logical Graphs
Axioms or Initials
JPG
PNG
Modus Ponens
Version 1.0
Version 2.0
Version 3.0
Version 4.0
Animated Proofs
Praeclarum Theorema (Leibniz)
JPG
PNG
Praeclarum Theorema Text Strings
LaTeX
![\begin{matrix} \texttt{(} \quad \texttt{(} a \texttt{(} b \texttt{))} \texttt{(} d \texttt{(} c \texttt{))} \quad \texttt{(} \quad \texttt{(} ad \texttt{(} bc \texttt{))} \quad \texttt{))} \\[24pt] \begin{array}{lc} \texttt{(} & \texttt{(} a \texttt{(} b \texttt{))} \texttt{(} d \texttt{(} c \texttt{))} \\ \texttt{(} & \texttt{(} ad \texttt{(} bc \texttt{))} \\ \texttt{))}\end{array} \end{matrix}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Bmatrix%7D++%5Ctexttt%7B%28%7D+%5Cquad+++%5Ctexttt%7B%28%7D+a+%5Ctexttt%7B%28%7D+b+%5Ctexttt%7B%29%29%7D++%5Ctexttt%7B%28%7D+d+%5Ctexttt%7B%28%7D+c+%5Ctexttt%7B%29%29%7D+%5Cquad++%5Ctexttt%7B%28%7D+%5Cquad+++%5Ctexttt%7B%28%7D+ad+%5Ctexttt%7B%28%7D+bc+%5Ctexttt%7B%29%29%7D+%5Cquad++%5Ctexttt%7B%29%29%7D++%5C%5C%5B24pt%5D++%5Cbegin%7Barray%7D%7Blc%7D++%5Ctexttt%7B%28%7D+%26++%5Ctexttt%7B%28%7D+a+%5Ctexttt%7B%28%7D+b+%5Ctexttt%7B%29%29%7D++%5Ctexttt%7B%28%7D+d+%5Ctexttt%7B%28%7D+c+%5Ctexttt%7B%29%29%7D+%5C%5C++%5Ctexttt%7B%28%7D+%26+++%5Ctexttt%7B%28%7D+ad+%5Ctexttt%7B%28%7D+bc+%5Ctexttt%7B%29%29%7D+%5C%5C++%5Ctexttt%7B%29%29%7D%5Cend%7Barray%7D++%5Cend%7Bmatrix%7D&bg=ffffff&fg=000000&s=1&c=20201002 "\begin{matrix} \texttt{(} \quad \texttt{(} a \texttt{(} b \texttt{))} \texttt{(} d \texttt{(} c \texttt{))} \quad \texttt{(} \quad \texttt{(} ad \texttt{(} bc \texttt{))} \quad \texttt{))} \\[24pt] \begin{array}{lc} \texttt{(} & \texttt{(} a \texttt{(} b \texttt{))} \texttt{(} d \texttt{(} c \texttt{))} \\ \texttt{(} & \texttt{(} ad \texttt{(} bc \texttt{))} \\ \texttt{))}\end{array} \end{matrix}")
PNG
Praeclarum Theorema Parse Graph
Version 1.0
JPG
PNG
Version 2.0
JPG
PNG
