Personal website Rudolf Adamkovič

Home / Logic


Premise

Any statement in the argument

\begin{equation*} \begin{array}{ll} & P_1 \\ & \vdots \\ & P_n \\ \hline \therefore & Q \end{array} \end{equation*}

other than the conclusion \(Q\).


© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.