Work Y
Animated Logical Graphs
Axioms or Initials
JPG




PNG




Modus Ponens
Version 1.0

Version 2.0

Version 3.0

Version 4.0

Animated Proofs


- Two-Thirds Majority Function • (1) • (2) • (3)

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)
PNG

Praeclarum Theorema Parse Graph
Version 1.0
JPG

PNG

Version 2.0
JPG

PNG

Like this:
Like Loading...