A set of statements, denoted

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

and read

“

\(P_1\), …,\(P_n\), therefore\(Q\)”,

where

where | \(P_i\) | is the \(i\)th premise and |

\(Q\) | is the conclusion. |

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

Made with Emacs and secret alien technologies of yesteryear.