A rule of inference in the form

\[\begin{equation*} \begin{array}{ll} & P \implies Q \\ & P \\ \hline \therefore & Q \\ \end{array} \end{equation*} \]

If you are dancing, you are sweating. You are dancing. Therefore, you are sweating.

© 2024 Rudolf Adamkovič under GNU General Public License version 3.

Made with Emacs and secret alien technologies of yesteryear.