[이산수학] 명제 논리 응용

애써 배운걸 까먹을까봐 그러기 전에 미리 정리해놓은 이산수학(discrete mathematics) 노트입니다. 미리 알아둘 것 이산수학에서의 명제 논리 및 조건문 이전 글에서 살펴보았듯이, 명제 논리를 사용하여 주어진 자연어 문장을 복수개의 단순 명제로 쪼갠 다음, 그 관계를 논리 기호를 사용하여 나타낼 수 있었음을 간단하게 살펴보았습니다. 이번에는 그에 대한 내용을 조금 더 정리해 봅니다. 프로그래밍을 할 때 의식적으로로던 무의식적으로던 자주 사용하는 논리와 관련된 내용으로는 어떠한 문장을 영어 문장으로 바꾸는 행동입니다. 예를 들면 아래와 같은 예시가 있습니다. You can access the Internet from campus only if you are a computer sceince major or you are not a freshman. 위와 같은 문장에는, "You can access the Internet from campus"라는 것은 "you are a c...