Logically correct

An argument is logically correct if in every situation that makes all premises true, the conclusion is true as well.

$$\boxed{\begin{array}{r}\underline{\begin{array}{l}{p}_1\\ p_2\\ ..\\ p_n\end{array}}\\ q\end{array}}\text{ is logically correct}⟺\text{the formula }(p_1\wedge p_2\wedge p_3\wedge ..\wedge p_n)\to q\text{ is a tautology}$$