
[이산수학] - Theme 03. 논리적 추론
·
📝 Software Mathematics/이산수학
이산수학의 기본이 되는 논리, 명제와 명제의 참과 거짓, 그리고 논리 연산 등을 통한 논리적 추론에 대해서 알아보도록 하겠습니다. 이번 주제에서는 수식이 길어 모바일 환경보다는 데스크탑이나 노트북 환경에서 포스팅을 보는 것을 추천합니다. 정의와 명제 새로운 분야를 접할 때 그 분야에서 통용되는 용어의 뜻을 알아야 그 분야에 잘 적응할 수 있어야 합니다. 그 때 잘 알아야 하는 것이 바로 용어의 “정의”입니다. 용어를 정의하는 방법으로는 두 가지가 있습니다. 첫 번째는 “무정의 용어”를 통해 용어를 정의하는 것입니다. 두 번째는 “무정의 용어”나 정의된 다른 용어를 통하여 또 다른 용어를 정의하는 것입니다. 💡 (정의) 무정의 용어 💡 수학적 의미를 가지고 있지 않은 일반적인 용어에 대해 정의하지 않고 사..