[이산수학] 추론 규칙 이해

애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 <술어와 한정기호>(를 어느정도 이해할 만큼의 지식) 이번에는 어떠한 수학적, 논리적인 증명의 출발점이 되는 추론(interference)에 대해 알아보고 명제 논리에서 이러한 추론을 통한 논증 과정이 어떠한 의미나 의의가 있는지 간단히 살펴보겠습니다. (생각해보니 내용을 쪼개는게 좋을 것 같아요.) 먼저 가장 기본이 되는 아래 용어를 익혀 둡시다. 추론(inference): 미루어 생각하여 논함 → (수학/논리/철학) 어떠한 판단(결과)를 근거로 하여 새로운 다른 판단(결과)를 이끌어내는 작업으로, 이산수학에서는 추론 규칙을 통해 결론을 이끌어 내는 과정입니다. 논증(argument): (어떠한 것을 전달하거나 뜻하기 위하여) 하나의 결론으로 끝나는 일련의 문장으로, 명제들의 순서적인 나열(orderly-arrayed propositions)이라고 할 수...