[Discrete Mathematics] 논법(argument)과 추론 규칙(rule of inference)
·
Mathematics/Discrete Mathematics
논법 (Argument) 논법(혹은 논증)은 다음과 같이 제시된 일련의 명제들로 구성된다.$$ \begin{align*} & p_1 \\ & p_2 \\ \vdots \\ & p_n \\ \hline & \therefore q \end{align*} $$$$ \text{or} $$$$ p_1, p_2, \cdots , p_n / \therefore q $$논법이 유효(valid)하려면 $ p_1 $, $ p_2 $, $ \cdots $, $p_n $ 이 모두 참인 경우 $ q $ 도 반드시 참이어야 한다. 그렇지 않다면 논즈은 무효(invalid)이다. 앞선 명제, 즉 $ p_1 $, $ p_2 $, $ \cdots $, $p_n $ 은 가설(hypotheses) 또는 전제(premises)라 하며, 명..